changeset 65054:66bd777e615c

Mention compilation-disable-input.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 20 Aug 2005 12:20:49 +0000
parents ef71f705f7d4
children 0b9598224a95
files etc/NEWS
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
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'.