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

  /src/external/ibm-public/postfix/dist/mantools/
make_soho_readme 4 <!doctype html public "-//W3C//DTD HTML 4.01 Transitional//EN"
makemanidx 4 <!doctype html public "-//W3C//DTD HTML 4.01 Transitional//EN"
  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 50 $html2_doctype = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0 Strict Level 2//EN">';
318 $doctype = '';
356 if (/^-doctype$/) { $doctype = shift(@ARGV); next; }
1886 if ($doctype eq 'html2') {
1888 } elsif ($doctype) {
1889 print FILE $doctype;
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 50 $html2_doctype = '<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0 Strict Level 2//EN">';
318 $doctype = '';
356 if (/^-doctype$/) { $doctype = shift(@ARGV); next; }
1886 if ($doctype eq 'html2') {
1888 } elsif ($doctype) {
1889 print FILE $doctype;
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 121 $T2H_DOCTYPE = '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">';
122 $T2H_OPTIONS -> {doctype} =
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 121 $T2H_DOCTYPE = '<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">';
122 $T2H_OPTIONS -> {doctype} =

Completed in 19 milliseconds