diff -r 015282fb3e31 -r 255e651a4c5f NEWS
--- a/NEWS	Mon Nov 08 13:51:24 2021 +0100
+++ b/NEWS	Mon Nov 08 16:48:42 2021 +0100
@@ -95,11 +95,6 @@
 specifies the name of the logo variant, while "_" (underscore) refers to
 the unnamed variant. The output file name is always "isabelle_logo.pdf".
 
-* Option "document_preprocessor" specifies the name of an executable
-that is run within the document output directory, after preparing the
-document sources and before the actual build process. This allows to
-apply adhoc patches, without requiring a separate "build" script.
-
 * Option "document_build" determines the document build engine, as
 defined in Isabelle/Scala (as system service). The subsequent engines
 are provided by the Isabelle distribution: