HomeSort by: relevance | last modified time | path
    Searched refs:docu_toc (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 426 $docu_toc = $docu_foot = $docu_doc;
428 $docu_toc = "${docu_name}_toc.html"; # document's table of contents
959 $_ = "<H$level>".&anchor($docid, "$docu_toc#$tocid", $name)."</H$level>\n";
1447 if (open(FILE, "> $docu_toc")) {
1448 print "# creating $docu_toc...\n" if $verbose;
1455 warn "$ERROR Can't write to $docu_toc: $!\n";
1499 $navigation .= " section, " . &anchor('', $docu_toc, "table of contents") . ".\n";
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 426 $docu_toc = $docu_foot = $docu_doc;
428 $docu_toc = "${docu_name}_toc.html"; # document's table of contents
959 $_ = "<H$level>".&anchor($docid, "$docu_toc#$tocid", $name)."</H$level>\n";
1447 if (open(FILE, "> $docu_toc")) {
1448 print "# creating $docu_toc...\n" if $verbose;
1455 warn "$ERROR Can't write to $docu_toc: $!\n";
1499 $navigation .= " section, " . &anchor('', $docu_toc, "table of contents") . ".\n";
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 2375 $docu_toc = $T2H_TOC_FILE || "${docu_name}_toc.$docu_ext"; # document's table of contents
2388 $docu_toc = $docu_foot = $docu_stoc = $docu_about = $docu_top = $docu_doc;
2391 $docu_toc_file = "$docu_rdir$docu_toc";
4527 $T2H_HREF{Contents} = $docu_toc.'#SEC_Contents' if @toc_lines;
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 2375 $docu_toc = $T2H_TOC_FILE || "${docu_name}_toc.$docu_ext"; # document's table of contents
2388 $docu_toc = $docu_foot = $docu_stoc = $docu_about = $docu_top = $docu_doc;
2391 $docu_toc_file = "$docu_rdir$docu_toc";
4527 $T2H_HREF{Contents} = $docu_toc.'#SEC_Contents' if @toc_lines;

Completed in 21 milliseconds