From 8cd4ad9e333169c2a9c222cb34a2199ccba56fa4 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Mon, 11 Jul 2016 16:20:42 +0200
Subject: expanding "make help" a little bit

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 93b89a4893..3b9d1e67c6 100644
--- a/Makefile
+++ b/Makefile
@@ -117,6 +117,8 @@ help:
 	@echo "or make archclean"
 	@echo
 	@echo "For make to be verbose, add VERBOSE=1"
+	@echo
+	@echo "If you want camlp{4,5} to generate human-readable files, add NO_RECOMPILE_ML4=1"
 
 UNSAVED_FILES:=$(shell find . -name '.\#*v' -o -name '.\#*.ml' -o -name '.\#*.ml?')
 ifdef UNSAVED_FILES
-- 
cgit v1.2.3