diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 17:12:14 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-28 17:12:14 +0000 |
commit | f9edafd5b576460b92ff4dd493f7aec34a769c86 (patch) | |
tree | 48bd1b8d690508d9f1fa869803389412205519bf /bin | |
parent | d6708ddf3b79fa777df4356fcc8ca9e476aded34 (diff) |
Update autoloads
Diffstat (limited to 'bin')
-rw-r--r-- | bin/proofgeneral | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/proofgeneral b/bin/proofgeneral index a661adaf..ffb94c75 100644 --- a/bin/proofgeneral +++ b/bin/proofgeneral @@ -20,7 +20,7 @@ # NB: no trailing backslash here! # On Mac, maybe: # /Applications/Emacs.app/Contents/MacOS/Emacs/site-lisp/ProofGeneral -PGHOMEDEFAULT=$HOME/ProofGeneral +PGHOMEDEFAULT=/usr/share/emacs/site-lisp/ProofGeneral NAME=`basename $0` |