Add -browser option to configure script

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11271 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 86f197c610..1c6a1e0369 100644
--- a/CHANGES
+++ b/CHANGES
@@ -436,6 +436,7 @@ Miscellaneous
 - Syntax of "Test Printing Let ref" and "Test Printing If ref" changed into
   "Test Printing Let for ref" and "Test Printing If for ref".
 - An overhauled build system (new Makefiles); see dev/doc/build-system.txt
+- Add -browser option to configure script
 
 Changes from V8.1gamma to V8.1
 ==============================