diff options
Diffstat (limited to 'editors/TeXmacs/patches/patch-ai')
| -rw-r--r-- | editors/TeXmacs/patches/patch-ai | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/editors/TeXmacs/patches/patch-ai b/editors/TeXmacs/patches/patch-ai index 8ce5627ca30..7bce7a86ba8 100644 --- a/editors/TeXmacs/patches/patch-ai +++ b/editors/TeXmacs/patches/patch-ai @@ -1,6 +1,6 @@ -$NetBSD: patch-ai,v 1.6 2008/01/04 15:26:17 drochner Exp $ +$NetBSD: patch-ai,v 1.7 2008/04/21 20:04:43 drochner Exp $ ---- plugins/maxima/bin/maxima_detect.orig 2007-11-05 10:21:32.000000000 +0100 +--- plugins/maxima/bin/maxima_detect.orig 2008-03-19 18:16:36.000000000 +0100 +++ plugins/maxima/bin/maxima_detect @@ -36,11 +36,11 @@ find_old_help() fi @@ -16,16 +16,3 @@ $NetBSD: patch-ai,v 1.6 2008/01/04 15:26:17 drochner Exp $ then if [ "$1" ] then -@@ -62,9 +62,10 @@ version 5.9.3 - version 5.10 - version 5.11 - version 5.12 --version 5.13" >/dev/null -+version 5.13 -+version 5.14" >/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 -+ # 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 - maxima -d | grep -F 'maxima-htmldir=' | sed -e \ - 's/maxima-htmldir=/"/' -e 's|$|/maxima_toc.html"|' - else |