From 573241e4edcf3d0217718679847192cdaadf5de8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 16 Apr 2018 10:44:44 +0200
Subject: CHANGES: document COQFLAGS change

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

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 06a9bba7d..40e8547ae 100644
--- a/CHANGES
+++ b/CHANGES
@@ -5,6 +5,8 @@ Tools
 
 - Coq_makefile lets one override or extend the following variables from
   the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS.
+  COQFLAGS is now entirely separate from COQLIBS, so in custom Makefiles
+  $(COQFLAGS) should be replaced by $(COQFLAGS) $(COQLIBS).
 
 Vernacular Commands
 
-- 
cgit v1.2.3