diff options
| author | Pierre-Marie Pédrot | 2015-04-07 16:17:46 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-04-07 16:17:46 +0200 |
| commit | dfe516d1147d43691a7984af5484d573e42c4e04 (patch) | |
| tree | 697ebcafcb8c97f4a2cf451e8be776778e827c48 | |
| parent | ee9d9415c518e703a10a53acfdea8627547565fe (diff) | |
Removing references to -I -as from CHANGES.
| -rw-r--r-- | CHANGES | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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.) |
