NEWS

--- a/NEWS	Thu Dec 14 14:34:56 2017 +0100
+++ b/NEWS	Thu Dec 14 21:09:41 2017 +0100
@@ -88,7 +88,7 @@
 
 * Command-line tool "isabelle document" has been re-implemented in
 Isabelle/Scala, with simplified arguments and explicit errors from the
-latex process. Minor INCOMPATIBILITY.
+latex and bibtex process. Minor INCOMPATIBILITY.
 
 
 *** HOL ***