39 lines
1.1 KiB
Text
39 lines
1.1 KiB
Text
$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
|