diff options
Diffstat (limited to 'src/CHANGES.txt')
-rw-r--r-- | src/CHANGES.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/CHANGES.txt b/src/CHANGES.txt index 6b89aa7..f496fa7 100644 --- a/src/CHANGES.txt +++ b/src/CHANGES.txt @@ -74,6 +74,12 @@ RELEASE 1.X - XXX - Fix use of Glob() when a repository or source directory contains an in-memory Node without a corresponding on-disk file or directory. + - Add a warning about future reservation of $CHANGED_SOURCES, + $CHANGED_TARGETS, $UNCHANGED_SOURCES and $UNCHANGED_TARGETS. + + - Enable by default the existing warnings about setting the resource + $SOURCE, $SOURCES, $TARGET and $TARGETS variable. + From Rob Managan: - Scan for TeX files in the paths specified in the $TEXINPUTS |