From f9edafd5b576460b92ff4dd493f7aec34a769c86 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 17:12:14 +0000
Subject: Update autoloads

---
 bin/proofgeneral | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin')

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`
 
-- 
cgit v1.2.3