From: rrt <unknown>
Date: Thu, 25 Oct 2001 14:48:26 +0000 (+0000)
Subject: [project @ 2001-10-25 14:48:26 by rrt]
X-Git-Tag: Approximately_9120_patches~697
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=f8ee962e187342b017dbf53f93a736874aef74c3;p=ghc-hetmet.git

[project @ 2001-10-25 14:48:26 by rrt]
Why should pdfjadetex be in the same directory as Jade? Make the much
less silly assumption that it's on the PATH.
---

diff --git a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index 47f8e07..5fcfd7d 100644
--- a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
+++ b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
@@ -31,8 +31,8 @@ then
   fi
 fi
 
-# assumption: openjade and pdfjadetex is installed in the same dir.
-PDFJADETEX=`dirname $JADE`/pdfjadetex
+# assumption: pdfjadetex is on the PATH
+PDFJADETEX=pdfjadetex
 
 $JADE -t tex -d ${DB_STYLESHEET}\#print -o ${output}.tex -c $DOCBOOK_CATALOG $1