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