Home | History | Annotate | Download | only in doc

Lines Matching refs:docu_doc

424 $docu_doc = "$docu_name.html";		# document's contents
426     $docu_toc = $docu_foot = $docu_doc;
735 		$node2href{$setref} = "$docu_doc#$docid";
883     s/\@footnote\{/\@footnote$docu_doc\{/g; # mark footnotes, cf. pass 4
936 			    $node2href{$node} = "$docu_doc#$docid";
954 		    $_ = "<LI>" . &anchor($tocid, "$docu_doc#$docid", $name, 1);
995 		    \$$index\{\$what\} .= "$;$docu_doc#$id";
997 		    \$$index\{\$what\} = "$docu_doc#$id";
1031 			$bib2href{$what} = "$docu_doc#$id";
1040 		    $gloss2href{$entry} = "$docu_doc#$id";
1486 	if (open(FILE, "> $docu_doc")) {
1487 	    print "# creating $docu_doc...\n" if $verbose;
1515 	    warn "$ERROR Can't write to $docu_doc: $!\n";
1519     if (open(FILE, "> $docu_doc")) {
1520 	print "# creating $docu_doc...\n" if $verbose;
1546 	warn "$ERROR Can't write to $docu_doc: $!\n";
1857     $docu_doc = &doc_name(++$doc_num);