master cd81739 2/2: Add some admin/emake comments

[Lars Ingebrigtsen]

branch: master
commit cd81739af17406cad0eb121cd979350e45cd1b92
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>

    Add some admin/emake comments
---
 admin/emake | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/admin/emake b/admin/emake
index d794e1c..d9aa4ea 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.