diff options
| author | jake%bugzilla.org <> | 2003-07-08 08:31:05 +0000 |
|---|---|---|
| committer | jake%bugzilla.org <> | 2003-07-08 08:31:05 +0000 |
| commit | 028ccb8741afdd989d4dda4b8b64ab34d585798f (patch) | |
| tree | ffe02314251d0c1be0815564fe4b32ef6fc85f3d /docs | |
| parent | cc1c75fae1c73b3736698cd1de180b2f0628e07a (diff) | |
| download | bugs-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar bugs-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar.gz bugs-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar.bz2 bugs-028ccb8741afdd989d4dda4b8b64ab34d585798f.tar.xz bugs-028ccb8741afdd989d4dda4b8b64ab34d585798f.zip | |
Use pdfjadetex to generate the PDF file instead of going through PostScript as it generates a much cleaner PDF file.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/makedocs.pl | 11 |
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'); |