#!/bin/sh
if test -z $TEXMACS_PATH; then
  export TEXMACS_PATH=/usr/share/TeXmacs-0.2.5-8
fi
export PATH=$TEXMACS_PATH/bin:$PATH
export LD_LIBRARY_PATH=$TEXMACS_PATH/lib:$LD_LIBRARY_PATH
texmacs.bin $*
