From f99c2ac25b8d4582b509063f0386fb5d445bd86f Mon Sep 17 00:00:00 2001
From: pboutill
Date: Tue, 25 Oct 2011 16:25:28 +0000
Subject: Coq_makefile: a more complete commentary about global variables

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14599 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coq_makefile.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 4a60cc8ea2..02bba6cfef 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -351,8 +351,10 @@ let variables opt (args,defs) =
 
 let parameters () =
   print "NOARG: all\n\n# \n";
-  print "# This Makefile may take COQBIN as argument passed as environment variables:\n";
-  print "#  to specify the directory where Coq binaries resides;\n";
+  print "# This Makefile may take arguments passed as environment variables:\n";
+  print "# COQBIN to specify the directory where Coq binaries resides;\n";
+  print "# ZDEBUG/COQDEBUG to specify debug flags for ocamlc&ocamlopt/coqc;\n";
+  print "# DSTROOT to specify a prefix to install path.\n";
   print "Makefile-localvars.gen:\n\t$(COQBIN)coqtop -config > $@\n\n";
   print "-include Makefile-localvars.gen\n.SECONDARY: Makefile-localvars.gen\n\n"
 
-- 
cgit v1.2.3