Hello.

I want to use platex instead of latex, but configure doesn't search it.
This patch will fix the problem.

--- configure.org       Thu Jul 20 16:16:52 2000
+++ configure   Thu Jul 20 16:20:01 2000
@@ -812,7 +812,7 @@
   withval="$with_pnmcrop"
   :
 else
-  with_latex=${PNMCROP:-}
+  with_pnmcrop=${PNMCROP:-}
 fi
 
 # Check whether --with-tex or --without-tex was given.

=================================
Sugimoto Sadahiro
mail: [EMAIL PROTECTED]
    [EMAIL PROTECTED]

Reply via email to