diff options
Diffstat (limited to 'usr.bin/sgmlfmt/sgmlfmt.pl')
-rwxr-xr-x | usr.bin/sgmlfmt/sgmlfmt.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/usr.bin/sgmlfmt/sgmlfmt.pl b/usr.bin/sgmlfmt/sgmlfmt.pl index de6b1f3..0df4e7a 100755 --- a/usr.bin/sgmlfmt/sgmlfmt.pl +++ b/usr.bin/sgmlfmt/sgmlfmt.pl @@ -112,7 +112,7 @@ sub sgmlparse { $defines = "-i $defines"; } open($ifhandle, "$sgmls $defines $decl $file | " . - "$instant -Dfilename=$fileroot -t ${dtd}-${replacement}.ts |"); + "$instant -Dfilename=$fileroot $instantopts -t ${dtd}-${replacement}.ts |"); } # @@ -696,6 +696,8 @@ sub main { $dtd = "docbook"; $decl = "/usr/share/sgml/docbook/docbook.dcl"; if ($opt_f eq 'html') { + if ($opt_hdr) {$instantopts .= " -D \"inchdr=${opt_hdr}\"";} + if ($opt_ftr) {$instantopts .= " -D \"incftr=${opt_ftr}\"";} &docbook_html(); } else { |