From: rrt <unknown>
Date: Tue, 30 Oct 2001 19:01:43 +0000 (+0000)
Subject: [project @ 2001-10-30 19:01:43 by rrt]
X-Git-Tag: Approximately_9120_patches~672
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=aa1dc0d4c7c0220ed649b9e5d447799c35eb5b61;p=ghc-hetmet.git

[project @ 2001-10-30 19:01:43 by rrt]
Made db2pdf use jadetex|dvips|ps2pfd, not pdfjadetex. Two benefits:

  1. Smaller PDF files.
  2. jadetex is a little less exotic, and more likely to be on a given
system.

The actual motivation is only knowing of a working version of jadetex
for Windows and not of pdfjadetex (at least, not one that works on the
gargantuan tome that is the combined User's Guide and Libraries
Guide).
---

diff --git a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index b657ae4..82d6798 100644
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -33,15 +33,18 @@ fi
 
 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1
 
-pdfjadetex ${output}
+jadetex ${output}
 
-# See if running pdfjadetex twice cures the problem.
+# See if running jadetex twice cures the problem.
 if egrep '^LaTeX Warning: There were undefined references.$' ${TMPFN}.log >/dev/null 2>&1
 then
-  pdfjadetex ${output}
-  pdfjadetex ${output}
+  jadetex ${output}
+  jadetex ${output}
 fi
 
+dvips ${output}.dvi ${output}.ps
+ps2pdf ${output}.ps ${output}.pdf
+
 # clean out 
 rm -f ${output}.log
 rm -f ${output}.aux