NEWS
changeset 56787 81dc6fffdf30
parent 56762 539fe017905a
child 56807 ab36ec0c8eb5
--- a/NEWS	Tue Apr 29 15:35:40 2014 +0200
+++ b/NEWS	Tue Apr 29 15:42:19 2014 +0200
@@ -672,7 +672,7 @@
 
 *** System ***
 
-* Session ROOT specifications support explicit 'document_files' for
+* Session ROOT specifications require explicit 'document_files' for
 robust dependencies on LaTeX sources.  Only these explicitly given
 files are copied to the document output directory, before document
 processing is started.