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

  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 2297 $docu_name = $';
2300 $docu_name = $docu;
2303 $docu_name =~ s/\.te?x(i|info)?$//; # basename of the document
2304 $docu_name = $T2H_PREFIX if ($T2H_PREFIX);
2371 $docu_doc = "$docu_name.$docu_ext"; # document's contents
2375 $docu_toc = $T2H_TOC_FILE || "${docu_name}_toc.$docu_ext"; # document's table of contents
2376 $docu_stoc = "${docu_name}_ovr.$docu_ext"; # document's short toc
2377 $docu_foot = "${docu_name}_fot.$docu_ext"; # document's footnotes
2378 $docu_about = "${docu_name}_abt.$docu_ext"; # about this document
2397 $docu_frame_file = "$docu_rdir${docu_name}_frame.$docu_ext"
    [all...]
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 2297 $docu_name = $';
2300 $docu_name = $docu;
2303 $docu_name =~ s/\.te?x(i|info)?$//; # basename of the document
2304 $docu_name = $T2H_PREFIX if ($T2H_PREFIX);
2371 $docu_doc = "$docu_name.$docu_ext"; # document's contents
2375 $docu_toc = $T2H_TOC_FILE || "${docu_name}_toc.$docu_ext"; # document's table of contents
2376 $docu_stoc = "${docu_name}_ovr.$docu_ext"; # document's short toc
2377 $docu_foot = "${docu_name}_fot.$docu_ext"; # document's footnotes
2378 $docu_about = "${docu_name}_abt.$docu_ext"; # about this document
2397 $docu_frame_file = "$docu_rdir${docu_name}_frame.$docu_ext"
    [all...]
  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 416 $docu_name = $';
419 $docu_name = $docu;
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
1853 return("${docu_name}_$num.html");
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 416 $docu_name = $';
419 $docu_name = $docu;
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
1853 return("${docu_name}_$num.html");

Completed in 18 milliseconds