1 files changed, 8 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 5b4027ac3..24c4cfec0 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
 ===============================