diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 14:35:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 14:35:48 +0000 |
| commit | 40f95d57cabe8910a37cf4373174041bf224a31b (patch) | |
| tree | ab265b85634d894e7be124767c519fbb90d8e4a7 /INSTALL | |
| parent | c0f87b717af41af4a4456b88ada1a945f9505059 (diff) | |
Mention .emacs line for RPM package, and default.el.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 15 |
1 files changed, 14 insertions, 1 deletions
@@ -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-<something>. -Put this line in your emacs file: +Put this line in your .emacs file: (load-file "<proofgeneral-home>/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 ------------------------------------- |