diff -r 01f61cf796e0 -r bc62be4144e6 NEWS
--- a/NEWS	Thu Jul 20 12:38:00 2023 +0200
+++ b/NEWS	Thu Jul 20 12:42:23 2023 +0200
@@ -388,6 +388,9 @@
 aims to be a minimal configuration file format. See also
 https://toml.io/en/v1.0.0
 
+* The command-line tool "isabelle build" now supports option -A to
+include AFP as directory, without selecting any sessions yet.
+
 * The command-line tool "isabelle profiling" produces per-session
 statistics from ML heap images. Command-line options are similar to
 "isabelle build". Output is in CSV format, which can be opened by common