# HG changeset patch
# User wenzelm
# Date 1422279250 -3600
# Node ID e82c72f3b22770641accacd64306ad25cc150036
# Parent  6d1221b590eb3a53ad228586da35a6a05664b4a3
NEWS;

diff -r 6d1221b590eb -r e82c72f3b227 NEWS
--- a/NEWS	Mon Jan 26 14:31:39 2015 +0100
+++ b/NEWS	Mon Jan 26 14:34:10 2015 +0100
@@ -204,7 +204,7 @@
 *** Document preparation ***
 
 * Discontinued obsolete option "document_graph": session_graph.pdf is
-produced unconditionally.
+produced unconditionally for HTML browser_info and PDF-LaTeX document.
 
 * Document markup commands 'chapter', 'section', 'subsection',
 'subsubsection', 'text', 'txt', 'text_raw' work uniformly in any