$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