Fixes problem with EXTRA_DIST
[maxima.git] / xmaxima-local.in
blob55d3b54ab0e741a8aaa5f407ec6565496014f2ba
1 #!/bin/sh
2 top_srcdir=`cd \`dirname $0\`;/bin/pwd`
4 MAXIMA_VERPKGDATADIR=$top_srcdir
5 export MAXIMA_VERPKGDATADIR
7 MAXIMA_XMAXIMADIR=$top_srcdir/interfaces/xmaxima
8 export MAXIMA_XMAXIMADIR
9 XMAXIMA_MAXIMA=$top_srcdir/maxima-local
10 export XMAXIMA_MAXIMA
12 exec @WISH@ $top_srcdir/interfaces/xmaxima/xmaxima "$@"