summaryrefslogtreecommitdiffstats
path: root/docs/makedocs.pl
diff options
context:
space:
mode:
authorjake%bugzilla.org <>2003-07-08 10:31:05 +0200
committerjake%bugzilla.org <>2003-07-08 10:31:05 +0200
commit028ccb8741afdd989d4dda4b8b64ab34d585798f (patch)
treeffe02314251d0c1be0815564fe4b32ef6fc85f3d /docs/makedocs.pl
parentcc1c75fae1c73b3736698cd1de180b2f0628e07a (diff)
downloadbugzilla-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar.gz
bugzilla-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar.xz
Use pdfjadetex to generate the PDF file instead of going through PostScript as it generates a much cleaner PDF file.
Diffstat (limited to 'docs/makedocs.pl')
-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');