diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:32:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-15 08:32:37 +0000 |
| commit | 608f6ec2745f54ebbee3d7dd408c51b507f1d4e5 (patch) | |
| tree | 98957aaedbb08fd2b42ee6b953c92817e63ec8bd /INSTALL | |
| parent | 34c3fb9c8d27c69298157b9a9b50a897d01ea773 (diff) | |
Describe make scripts
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 |