diff options
| -rw-r--r-- | bin/proofgeneral | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index 8276f9bf..0e232cff 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -13,10 +13,12 @@ PGHOME=/usr/share/emacs/ProofGeneral #PGHOME=~/ProofGeneral -if which xemacs > /dev/null; then - EMACS=xemacs -else - EMACS=emacs +if [ -z "EMACS" ]; then + if which xemacs > /dev/null; then + EMACS=xemacs + else + EMACS=emacs + fi fi $EMACS -q -l $PGHOME/generic/proof-site.el -f proof-splash-display-screen "$@" |