diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 15 |
1 files changed, 12 insertions, 3 deletions
@@ -74,7 +74,6 @@ Use 'make compile' to recompile .elc files. Check that the Makefile sets EMACS to your Emacs executable. - Dependency on Other Emacs Packages ---------------------------------- @@ -84,14 +83,24 @@ will need to find them. These are the packages that you need to use Proof General: ESSENTIAL: - * cl-macs - * comint + * cl * custom * font-lock OPTIONAL: * outline * imenu + * speedbar + + +Included scripts +---------------- + +There are some included scripts which have hardwired paths. +To try to edit these automatically to point to the right +place, run + + make scripts Site-wide Installation |