diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 18:04:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 18:04:30 +0000 |
| commit | 4e0c2376bfc02461b35101264b51f0fb158d2451 (patch) | |
| tree | fa88ac2adff53eac592c4873c073c35ed45caeaf /Makefile | |
| parent | e4f1770119a933263e3aa96c134c68636a8d3c1a (diff) | |
Comments
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -6,7 +6,9 @@ ## Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> ## ## -## make compile +## make compile - make .elc's in a single session +## make all - make .elc's in separate sessions +## ## ## $Id$ ## |