# HG changeset patch
# User wenzelm
# Date 1605978985 -3600
# Node ID 7ab733b2aecb76ad67d1bbad85117cc988d9158d
# Parent  418dfce5533f6ef00bec21de13bae7436a4658c1
more NEWS;

diff -r 418dfce5533f -r 7ab733b2aecb NEWS
--- a/NEWS	Sat Nov 21 17:58:00 2020 +0100
+++ b/NEWS	Sat Nov 21 18:16:25 2020 +0100
@@ -242,10 +242,17 @@
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).
 
+* The command-line tool "isabelle build" provides option -P DIR to
+produce PDF/HTML presentation in the specified directory; -P: refers to
+the standard directory according to ISABELLE_BROWSER_INFO /
+ISABELLE_BROWSER_INFO_SYSTEM settings. Generated PDF documents are taken
+from the build database -- from this or earlier builds with option
+document=pdf.
+
 * The command-line tool "isabelle document" generates theory documents
-from the underlying session build database (using its exported \LaTeX
-sources or existing PDF files). INCOMPATIBILITY, the former "isabelle
-document" tool was rather different and has been discontinued.
+on the spot, using the underlying session build database (exported
+\LaTeX sources or existing PDF files). INCOMPATIBILITY, the former
+"isabelle document" tool was rather different and has been discontinued.
 
 * The command-line tool "isabelle sessions" explores the structure of
 Isabelle sessions and prints result names in topological order (on