blob: b64a93b98e64d5fafc7eb380bfa04bb4c8727f64 (
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
|
$NetBSD: patch-ai,v 1.4 2007/08/31 10:05:59 drochner Exp $
--- 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"
export PATH
-MAXIMA=`type -p maxima 2>/dev/null`
+MAXIMA=`which maxima`
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
|
