From 5d1927f87b1390dd243bf2a480b17a5a0957a54a Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Sat, 24 Nov 2001 10:37:52 +0000
Subject: [PATCH] (SHELL): Comment away, for lispintro.

---
 msdos/sed6.inp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/msdos/sed6.inp b/msdos/sed6.inp
index 398cff822f4..eb82598bf5e 100644
--- 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/^/# /
-- 
2.39.5