diff options
Diffstat (limited to 'editors/TeXmacs/patches/patch-ai')
| -rw-r--r-- | editors/TeXmacs/patches/patch-ai | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/editors/TeXmacs/patches/patch-ai b/editors/TeXmacs/patches/patch-ai deleted file mode 100644 index 2c8269e8c0a..00000000000 --- a/editors/TeXmacs/patches/patch-ai +++ /dev/null @@ -1,39 +0,0 @@ -$NetBSD: patch-ai,v 1.15 2011/01/03 18:20:17 drochner Exp $ - ---- plugins/maxima/bin/maxima_detect.orig 2008-08-22 07:38:00.000000000 +0000 -+++ plugins/maxima/bin/maxima_detect -@@ -36,11 +36,11 @@ find_old_help() - fi - } - --if [ $OSTYPE = "cygwin" ] ; then EXT='.bat'; else EXT=''; fi -+if [ x$OSTYPE = x"cygwin" ] ; then EXT='.bat'; else EXT=''; fi - MAXIMA=`which maxima$EXT 2>/dev/null` - if [ $? -eq 0 ] - then -- if [ $OSTYPE = "cygwin" ] -+ if [ x$OSTYPE = x"cygwin" ] - then - if [ "$1" ] - then -@@ -63,9 +63,18 @@ version 5.10 - version 5.11 - version 5.12 - version 5.13 --version 5.14" >/dev/null -+version 5.14 -+version 5.15 -+version 5.16 -+version 5.17 -+version 5.18 -+version 5.19 -+version 5.20 -+version 5.21 -+version 5.22 -+version 5.23" >/dev/null - then -- # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12 or 5.13 or 5.14 -+ # 5.9.1 or 5.9.2 or 5.9.3 or 5.10 or 5.11 or 5.12 or 5.13 or 5.14 or 5.15 or 5.16 or 5.17 or 5.18 or 5.19 or 5.20 or 5.21 or 5.22 or 5.23 - maxima -d | grep -F 'maxima-htmldir=' | sed -e \ - 's/maxima-htmldir=/"/' -e 's|$|/maxima_toc.html"|' - else |