projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d5f94cc
)
[project @ 2001-10-25 14:48:26 by rrt]
author
rrt
<unknown>
Thu, 25 Oct 2001 14:48:26 +0000
(14:48 +0000)
committer
rrt
<unknown>
Thu, 25 Oct 2001 14:48:26 +0000
(14:48 +0000)
Why should pdfjadetex be in the same directory as Jade? Make the much
less silly assumption that it's on the PATH.
glafp-utils/docbook/db2pdf.dir/db2pdf.sh
patch
|
blob
|
history
diff --git
a/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
b/glafp-utils/docbook/db2pdf.dir/db2pdf.sh
index
47f8e07
..
5fcfd7d
100644
(file)
--- 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