summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--docs/makedocs.pl11
1 files changed, 4 insertions, 7 deletions
diff --git a/docs/makedocs.pl b/docs/makedocs.pl
index d05b145e0..0b1eea47d 100644
--- a/docs/makedocs.pl
+++ b/docs/makedocs.pl
@@ -86,11 +86,8 @@ MakeDocs('PDF', "jade -t tex -d $LDP_HOME/ldp.dsl\#print $JADE_PUB/xml.dcl " .
'../xml/Bugzilla-Guide.xml');
chdir '../pdf';
MakeDocs(undef, 'mv ../xml/Bugzilla-Guide.tex .');
-MakeDocs(undef, 'jadetex Bugzilla-Guide.tex');
-MakeDocs(undef, 'jadetex Bugzilla-Guide.tex');
-MakeDocs(undef, 'jadetex Bugzilla-Guide.tex');
-MakeDocs(undef, 'dvips -o Bugzilla-Guide.ps Bugzilla-Guide.dvi');
-MakeDocs(undef, 'ps2pdf Bugzilla-Guide.ps Bugzilla-Guide.pdf');
-MakeDocs(undef, 'rm Bugzilla-Guide.tex Bugzilla-Guide.log Bugzilla-Guide.dvi ' .
- 'Bugzilla-Guide.aux Bugzilla-Guide.ps');
+MakeDocs(undef, 'pdfjadetex Bugzilla-Guide.tex');
+MakeDocs(undef, 'pdfjadetex Bugzilla-Guide.tex');
+MakeDocs(undef, 'pdfjadetex Bugzilla-Guide.tex');
+MakeDocs(undef, 'rm Bugzilla-Guide.tex Bugzilla-Guide.log Bugzilla-Guide.aux');