--- 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.
--- a/src/Pure/Thy/present.ML Tue Apr 29 15:35:40 2014 +0200
+++ b/src/Pure/Thy/present.ML Tue Apr 29 15:42:19 2014 +0200
@@ -362,7 +362,7 @@
val _ =
if not (null jobs) andalso null doc_files then
- Output.physical_stderr ("### Document preparation for session " ^ quote name ^
+ Output.physical_stderr ("### Legacy feature! Document preparation for session " ^ quote name ^
" without 'document_files'\n")
else ();