nested_ignore.texi(,2) @comment %**start of header
nested_ignore.texi(,3) @setfilename nested_ignore.info
nested_ignore.texi(,4) 
nested_ignore.texi(,5) @node Top
nested_ignore.texi(,6) @top Top
nested_ignore.texi(,7) 
nested_ignore.texi(,12) 
nested_ignore.texi(,17) 
nested_ignore.texi(,22) 
nested_ignore.texi(,23) @bye
