(SHELL): Comment away, for lispintro.

diff --git a/msdos/sed6.inp b/msdos/sed6.inp
index 398cff822f4d4b0746bdabb88091f266efc3fa6c..eb82598bf5eacd9815a103b57d9063a172cfeb19 100644 (file)
--- a/msdos/sed6.inp
+++ b/msdos/sed6.inp
@@ -1,5 +1,6 @@
 # -sed6.inp------------------------------------------------------------------
-# Configuration script for man/Makefile and lispref/Makefile under DJGPP v2.x
+# Configuration script for man/Makefile, lispref/Makefile, and
+# lispintro/Makefile under DJGPP v2.x
 # ---------------------------------------------------------------------------
 #
 # Copyright (C) 1997, 2000, 2001
@@ -25,3 +26,4 @@ export MAKEINFO := $(MAKEINFO) -I$(srcdir)
 /^texinputdir/c\
 texinputdir =\
 export texinputdir := $(srcdir)";"$(TEXINPUTS)
+/^SHELL *=/s/^/# /