not_ifset_text.texi(,2) @comment %**start of header
not_ifset_text.texi(,3) @setfilename not_ifset_text.info
not_ifset_text.texi(,4) 
not_ifset_text.texi(,5) @node Top
not_ifset_text.texi(,6) @top Top
not_ifset_text.texi(,7) 
not_ifset_text.texi(,13) 
not_ifset_text.texi(,14) @bye
