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

  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 926 $tocid = "TOC$sec_num";
954 $_ = "<LI>" . &anchor($tocid, "$docu_doc#$docid", $name, 1);
959 $_ = "<H$level>".&anchor($docid, "$docu_toc#$tocid", $name)."</H$level>\n";
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 926 $tocid = "TOC$sec_num";
954 $_ = "<LI>" . &anchor($tocid, "$docu_doc#$docid", $name, 1);
959 $_ = "<H$level>".&anchor($docid, "$docu_toc#$tocid", $name)."</H$level>\n";
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 3606 $tocid = (/^\@\w*heading/ ? undef : "TOC$sec_num");
3636 if ($tocid)
3647 $_ = &t2h_anchor($tocid, "$docu_doc#$docid", $name, 1);
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 3606 $tocid = (/^\@\w*heading/ ? undef : "TOC$sec_num");
3636 if ($tocid)
3647 $_ = &t2h_anchor($tocid, "$docu_doc#$docid", $name, 1);

Completed in 20 milliseconds