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

  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 426 $docu_toc = $docu_foot = $docu_doc;
429 $docu_foot = "${docu_name}_foot.html"; # document's footnotes
1409 $_ = $before . &anchor($docid, "$docu_foot#$footid", $foot) . $after;
1463 if (open(FILE, "> $docu_foot")) {
1464 print "# creating $docu_foot...\n" if $verbose;
1471 warn "$ERROR Can't write to $docu_foot: $!\n";
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 426 $docu_toc = $docu_foot = $docu_doc;
429 $docu_foot = "${docu_name}_foot.html"; # document's footnotes
1409 $_ = $before . &anchor($docid, "$docu_foot#$footid", $foot) . $after;
1463 if (open(FILE, "> $docu_foot")) {
1464 print "# creating $docu_foot...\n" if $verbose;
1471 warn "$ERROR Can't write to $docu_foot: $!\n";
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 2377 $docu_foot = "${docu_name}_fot.$docu_ext"; # document's footnotes
2388 $docu_toc = $docu_foot = $docu_stoc = $docu_about = $docu_top = $docu_doc;
2393 $docu_foot_file = "$docu_rdir$docu_foot";
4431 $_ = $before . &t2h_anchor($docid, "$docu_foot#$footid", $foot) . $after;
4766 $T2H_HREF{This} = $docu_foot;
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 2377 $docu_foot = "${docu_name}_fot.$docu_ext"; # document's footnotes
2388 $docu_toc = $docu_foot = $docu_stoc = $docu_about = $docu_top = $docu_doc;
2393 $docu_foot_file = "$docu_rdir$docu_foot";
4431 $_ = $before . &t2h_anchor($docid, "$docu_foot#$footid", $foot) . $after;
4766 $T2H_HREF{This} = $docu_foot;

Completed in 78 milliseconds