# HG changeset patch
# User wenzelm
# Date 1014158754 -3600
# Node ID 7d5b690253eee681426cdafc29279d44d1c841b5
# Parent  c78872ea33209275f3ea182ffbd321db2ac1c2b5
"isatool usedir -D output HOL Test && isatool document Test/output";

diff -r c78872ea3320 -r 7d5b690253ee NEWS
--- a/NEWS	Sat Feb 16 21:26:19 2002 +0100
+++ b/NEWS	Tue Feb 19 23:45:54 2002 +0100
@@ -1,3 +1,4 @@
+
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
@@ -9,7 +10,9 @@
 * greatly simplified document preparation setup, including more
 graceful interpretation of isatool usedir -i/-d/-D options, and more
 instructive isatool mkdir; users should basically be able to get
-started with "isatool mkdir Test && isatool make";
+started with "isatool mkdir HOL Test && isatool make"; alternatively,
+users may run a separate document processing stage manually like this:
+"isatool usedir -D output HOL Test && isatool document Test/output";
 
 * theory dependency graph may now be incorporated into documents;
 isatool usedir -g true will produce session_graph.eps/.pdf for use