1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 80a13b0b..8670de12 100644
--- a/Makefile
+++ b/Makefile
@@ -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$
 ##