blob: b7c295a89d9bf30cd6d0d15857202ea951d990da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
$NetBSD: patch-ai,v 1.11 2009/08/13 17:27:59 drochner Exp $
--- plugins/maxima/bin/maxima_detect.orig 2008-08-22 09:38:00.000000000 +0200
+++ 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,14 @@ 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" >/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
maxima -d | grep -F 'maxima-htmldir=' | sed -e \
's/maxima-htmldir=/"/' -e 's|$|/maxima_toc.html"|'
else
|
