diff options
Diffstat (limited to 'docs/makedocs.pl')
-rw-r--r-- | docs/makedocs.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/makedocs.pl b/docs/makedocs.pl index d9d1aa7b6..18fdf0a62 100644 --- a/docs/makedocs.pl +++ b/docs/makedocs.pl @@ -70,9 +70,9 @@ chdir dirname($0); chdir 'html'; MakeDocs('separate HTML', "jade -t sgml -i html -d $LDP_HOME/ldp.dsl\#html " . - "$JADE_PUB/xml.dcl ../sgml/Bugzilla-Guide.sgml"); + "$JADE_PUB/xml.dcl ../xml/Bugzilla-Guide.xml"); MakeDocs('big HTML', "jade -V nochunks -t sgml -i html -d " . "$LDP_HOME/ldp.dsl\#html $JADE_PUB/xml.dcl " . - "../sgml/Bugzilla-Guide.sgml > Bugzilla-Guide.html"); + "../xml/Bugzilla-Guide.xml > Bugzilla-Guide.html"); MakeDocs('big text', "lynx -dump -justify=off -nolist Bugzilla-Guide.html " . "> ../txt/Bugzilla-Guide.txt"); |