NEWS

--- a/NEWS	Thu Mar 16 11:44:07 2023 +0100
+++ b/NEWS	Thu Mar 16 13:18:25 2023 +0100
@@ -291,6 +291,9 @@
 "isabelle docker_build", to emphasize its non-relation to "isabelle
 build".
 
+* System option "build_pide_reports" has been discontinued: it coincides
+with "pide_reports".
+
 * System option "ML_process_policy" has been renamed to
 "process_policy", as it may affect other processes as well (notably in
 "isabelle build").