Hi James,
The following patch is a little cleaner than the original (it will
work with both the old and new jadetex versions).
--- gnupg-doc-2003.04.06.old/gph/db2any 2005-05-30 13:24:33.540408728 +0100
+++ gnupg-doc-2003.04.06/gph/db2any 2005-05-30 13:18:55.790754480 +0100
@@ -231,7 +231,7 @@
[ $verbose = yes ] && echo "$pgm: Jade version $jade_version found" >&2
# look for JadeTeX
- if ! jadetex -v 2>/dev/null | grep -q '^TeX' ; then
+ if ! jadetex -v 2>/dev/null | grep -q -E '(^e-TeX|^TeX)' ; then
echo "$pgm: error: jadetex not found" >&2
exit 1
fi
Regards,
Roger
--
Roger Leigh
Printing on GNU/Linux? http://gimp-print.sourceforge.net/
Debian GNU/Linux http://www.debian.org/
GPG Public Key: 0x25BFB848. Please sign and encrypt your mail.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
