From 40f95d57cabe8910a37cf4373174041bf224a31b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 26 Nov 1999 14:35:48 +0000 Subject: Mention .emacs line for RPM package, and default.el. --- INSTALL | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index f35a3026..83a0e10a 100644 --- a/INSTALL +++ b/INSTALL @@ -6,7 +6,7 @@ Please let us know if you have problems trying to install it. Unpack this distribution somewhere. It will create a top-level directory containing Proof General, called Proof-General-. -Put this line in your emacs file: +Put this line in your .emacs file: (load-file "/generic/proof-site.el") @@ -45,6 +45,15 @@ Notes for Proof General ======================= +RPM package. +------------ + +If you have the RPM file, this is the line you should add to your +.emacs file: + + (load-file "/usr/share/emacs/ProofGeneral/generic/proof-site.el") + + Byte Compilation. ----------------- @@ -65,6 +74,10 @@ accordingly. Make sure that the generic and assistant-specific elisp files are kept in subdirectories of proof-home so that the autoload directory calculations are correct. +To save every user needing the line in their .emacs file, you can put +that into a site-wide file like default.el. Read the Emacs manual for +details. + Removing support for unwanted provers ------------------------------------- -- cgit v1.2.3