# HG changeset patch
# User wenzelm
# Date 1584823273 -3600
# Node ID e9f53182c4aa2c0cbdd815ef5c707a636d4d02f6
# Parent  9a364ed3a4407ddc06b7772aed0035251c94fe5b
more NEWS;

diff -r 9a364ed3a440 -r e9f53182c4aa NEWS
--- a/NEWS	Sat Mar 21 21:12:07 2020 +0100
+++ b/NEWS	Sat Mar 21 21:41:13 2020 +0100
@@ -1496,6 +1496,9 @@
 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
 ISABELLE_PLATFORM64.
 
+* The command-line tool "isabelle build_docker" has been slightly
+improved: it is now properly documented in the "system" manual.
+
 * Command-line tool "isabelle build_docker" builds a Docker image from
 the Isabelle application bundle for Linux. See also
 https://hub.docker.com/r/makarius/isabelle