Use pdfjadetex to generate the PDF file instead of going through PostScript as it generates a much cleaner PDF file.

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');