From 1dc8758152c89445de0c6db1d57e02e0942dea2b Mon Sep 17 00:00:00 2001
From: Assia Mahboubi
Date: Thu, 31 Jan 2008 16:04:19 +0000
Subject: updated CHANGES added an example file in coq/

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

(limited to 'bin/proofgeneral')

diff --git a/bin/proofgeneral b/bin/proofgeneral
index 017f4124..07aab576 100644
--- a/bin/proofgeneral
+++ b/bin/proofgeneral
@@ -20,7 +20,7 @@
 # The default path should work if you are using the Proof General RPM
 # or unpack Proof General in your home directory.
 # NB: no trailing backslash here!
-PGHOMEDEFAULT=$HOME/ProofGeneral
+PGHOMEDEFAULT=/usr/share/emacs/site-lisp/ProofGeneral
 
 # Try to find a default Emacs executable 
 if [ -z "$EMACS" ] || [ ! -x "$EMACS" ]; then
-- 
cgit v1.2.3