From 619a2c49767a1b4691de425aa9adb2d3d534db7b Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sat, 20 Aug 2005 12:20:49 +0000 Subject: [PATCH] Mention compilation-disable-input. --- etc/NEWS | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/etc/NEWS b/etc/NEWS index 14414e9bd1b..4251a4b509d 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -1298,6 +1298,10 @@ This option allows you to specify environment variables for inferior compilation processes without affecting the environment that all 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 -- 2.39.2