Merge PR #7025: Coq makefile: provide variables to extend the flags passed to coq, coqchk, coqdoc

1 files changed, 8 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 26f07540ad..0afe588d60 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,11 @@
+Changes from 8.8.2 to 8.9+beta1
+===============================
+
+Tools
+
+- Coq_makefile lets one override or extend the following variables from
+  the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS.
+
 Changes from 8.7.2 to 8.8+beta1
 ===============================