Lines Matching refs:document
422 $docu_name =~ s/\.te?x(i|info)?$//; # basename of the document
424 $docu_doc = "$docu_name.html"; # document's contents
428 $docu_toc = "${docu_name}_toc.html"; # document's table of contents
429 $docu_foot = "${docu_name}_foot.html"; # document's footnotes
498 @lines = (); # whole document
1112 @lines2 = (); # whole document (2nd pass)
1113 @lines3 = (); # whole document (3rd pass)
1366 @doc_lines = (); # final document
1476 # print document
1937 This document was generated on $TODAY using the
2041 document from each term toward its definition.
2084 The document's contents.