Add some admin/emake comments

1 files changed, 9 insertions, 0 deletions

diff --git a/admin/emake b/admin/emake
index d794e1c4178..d9aa4ea74bd 100755
--- a/admin/emake
+++ b/admin/emake
@@ -1,5 +1,14 @@
 #!/bin/bash
 
+# This script is meant to be used as ./admin/emake, and will compile
+# the Emacs tree with virtually all of the informational messages
+# removed, and with errors/warnings highlighted in red.  It'll give a
+# quick overview to confirm that nothing has broken, for instance
+# after doing a "git pull".  It's not meant to be used during actual
+# development, because it removes so much information that commands
+# like `next-error' won't be able to jump to the source code where
+# errors are.
+
 cores=1
 
 # Determine the number of cores.