#!/bin/sh
#
# Simple shell script for launching Proof General.
#

if [ -z "$EMACS" ]; then
    if which xemacs21 > /dev/null; then 
	EMACS=xemacs21
    else 
	EMACS=emacs21
    fi
fi

if [ -d /usr/share/${EMACS}/site-lisp/proofgeneral ]; then
    PGHOME=/usr/share/${EMACS}/site-lisp/proofgeneral
else
    PGHOME=/usr/share/emacs/site-lisp/proofgeneral
fi

$EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@"
