diff etc/NEWS @ 65054:66bd777e615c

Mention compilation-disable-input.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 20 Aug 2005 12:20:49 +0000
parents 126c81827d58
children 55b9d4dca2d6
line wrap: on
line diff
--- 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'.