diff options
Diffstat (limited to 'editors/TeXmacs/patches/patch-ai')
-rw-r--r-- | editors/TeXmacs/patches/patch-ai | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/editors/TeXmacs/patches/patch-ai b/editors/TeXmacs/patches/patch-ai index b38ffa3621d..cbf8777cd03 100644 --- a/editors/TeXmacs/patches/patch-ai +++ b/editors/TeXmacs/patches/patch-ai @@ -1,13 +1,13 @@ -$NetBSD: patch-ai,v 1.2 2005/11/10 21:12:07 wiz Exp $ +$NetBSD: patch-ai,v 1.3 2006/08/11 18:05:12 drochner Exp $ ---- plugins/maxima/bin/maxima_detect.orig 2005-10-09 21:39:17.000000000 +0200 +--- plugins/maxima/bin/maxima_detect.orig 2006-08-06 18:31:00.000000000 +0200 +++ plugins/maxima/bin/maxima_detect -@@ -36,7 +36,7 @@ find_old_help() - fi - } +@@ -40,7 +40,7 @@ PATH="/cygdrive/c/Program Files/Maxima-5 + PATH="/cygdrive/c/Program Files/Maxima-5.9.3/bin:$PATH" + export PATH -MAXIMA=`type -p maxima 2>/dev/null` +MAXIMA=`which maxima` - if [ $? -eq 0 ] then + if [ -f "/usr/bin/cygwin1.dll" ] |