diff options
Diffstat (limited to 'editors/TeXmacs/patches/patch-ai')
| -rw-r--r-- | editors/TeXmacs/patches/patch-ai | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/editors/TeXmacs/patches/patch-ai b/editors/TeXmacs/patches/patch-ai index cbf8777cd03..b64a93b98e6 100644 --- a/editors/TeXmacs/patches/patch-ai +++ b/editors/TeXmacs/patches/patch-ai @@ -1,6 +1,6 @@ -$NetBSD: patch-ai,v 1.3 2006/08/11 18:05:12 drochner Exp $ +$NetBSD: patch-ai,v 1.4 2007/08/31 10:05:59 drochner Exp $ ---- plugins/maxima/bin/maxima_detect.orig 2006-08-06 18:31:00.000000000 +0200 +--- plugins/maxima/bin/maxima_detect.orig 2007-05-15 19:54:34.000000000 +0200 +++ plugins/maxima/bin/maxima_detect @@ -40,7 +40,7 @@ PATH="/cygdrive/c/Program Files/Maxima-5 PATH="/cygdrive/c/Program Files/Maxima-5.9.3/bin:$PATH" @@ -11,3 +11,16 @@ $NetBSD: patch-ai,v 1.3 2006/08/11 18:05:12 drochner Exp $ if [ $? -eq 0 ] then if [ -f "/usr/bin/cygwin1.dll" ] +@@ -64,9 +64,10 @@ version 5.9.2 + version 5.9.3 + version 5.10 + version 5.11 +-version 5.12" >/dev/null ++version 5.12 ++version 5.13" >/dev/null + then +- # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12 ++ # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12 or 5.13 + maxima -d | grep -F 'maxima-htmldir=' | sed -e \ + 's/maxima-htmldir=/"/' -e 's|$|/maxima_toc.html"|' + else |