# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1124540449 0
# Node ID 66bd777e615cb2b0f1ca4b6fad8da6823efa586e
# Parent  ef71f705f7d47dbf3d5308db247963678caa63f9
Mention compilation-disable-input.

diff -r ef71f705f7d4 -r 66bd777e615c etc/NEWS
--- a/etc/NEWS	Sat Aug 20 12:15:04 2005 +0000
+++ b/etc/NEWS	Sat Aug 20 12:20:49 2005 +0000
@@ -1299,6 +1299,10 @@
 subprocesses inherit.
 
 +++
+*** New user option `compilation-disable-input'.
+If this is non-nil, send end-of-file as compilation process input.
+
++++
 *** New options `next-error-highlight' and `next-error-highlight-no-select'
 specify the method of highlighting of the corresponding source line
 in new face `next-error'.