diff --git a/Makefile b/Makefile
index 7f4a774036..b1ec5246e8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,10 @@
 ############################# INSTRUCTIONS #############################
 #
 # to compile, run:
-#   make
+#   make [DEBUG=false]
 #
 # to compile with development tools, run:
-#   make all
+#   make all [DEBUG=false]
 #
 # to check the official mods for erroneous yaml files, run:
 #   make test
@@ -22,7 +22,7 @@
 #   make [prefix=/foo] [bindir=/bar/bin] install-all
 #
 # to install Linux startup scripts, desktop files and icons:
-#   make install-linux-shortcuts
+#   make install-linux-shortcuts [DEBUG=false]
 #
 # to uninstall, run:
 #   make uninstall
@@ -422,10 +422,10 @@ uninstall:
 
 help:
 	@echo to compile, run:
-	@echo \ \ make
+	@echo \ \ make [DEBUG=false]
 	@echo
 	@echo to compile with development tools, run:
-	@echo \ \ make all
+	@echo \ \ make all [DEBUG=false]
 	@echo
 	@echo to check the official mods for erroneous yaml files, run:
 	@echo \ \ make test
@@ -440,7 +440,7 @@ help:
 	@echo \ \ make \[prefix=/foo\] \[bindir=/bar/bin\] install-all
 	@echo
 	@echo to install Linux startup scripts, desktop files and icons
-	@echo \ \ make install-linux-shortcuts
+	@echo \ \ make install-linux-shortcuts [DEBUG=false]
 	@echo
 	@echo to uninstall, run:
 	@echo \ \ make uninstall