Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fix for Rocq/Rational.)

1 files changed, 0 insertions, 3 deletions

diff --git a/CHANGES b/CHANGES
index 48b39a01fb..ceabc053dc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -97,9 +97,6 @@ Tools
 
 - Option -I now only adds directories to the ml path. To add to both
   the load path and the ml path, use -I -as.
-- Option -R no longer adds recursively to the ml path; only the root
-  directory is added. (Behavior with respect to the load path is
-  unchanged.)
 - Option -nois prevents coq/theories and coq/plugins to be recursively
   added to the load path. (Same behavior as with coq/user-contrib.)