aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2015-04-07 16:17:46 +0200
committerPierre-Marie Pédrot2015-04-07 16:17:46 +0200
commitdfe516d1147d43691a7984af5484d573e42c4e04 (patch)
tree697ebcafcb8c97f4a2cf451e8be776778e827c48
parentee9d9415c518e703a10a53acfdea8627547565fe (diff)
Removing references to -I -as from CHANGES.
-rw-r--r--CHANGES7
1 files changed, 3 insertions, 4 deletions
diff --git a/CHANGES b/CHANGES
index 13433c49b1..57bb9f1996 100644
--- a/CHANGES
+++ b/CHANGES
@@ -306,10 +306,9 @@ Notations
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 -Q behaves as -I -as and -R, except that the logical path of
- any loaded file has to be fully qualified.
+- Option -I now only adds directories to the ml path.
+- Option -Q behaves as -R, except that the logical path of any loaded file has
+ to be fully qualified.
- 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.)