diff options
| author | Eli Zaretskii <[email protected]> | 2001-11-24 10:37:52 +0000 |
|---|---|---|
| committer | Eli Zaretskii <[email protected]> | 2001-11-24 10:37:52 +0000 |
| commit | 5d1927f87b1390dd243bf2a480b17a5a0957a54a (patch) | |
| tree | 76b3989d04c01cb45567e4309ee90b38614789a4 /msdos/sed6.inp | |
| parent | aae3cbdf8f591c97305fb0821fe8035576eeb967 (diff) | |
(SHELL): Comment away, for lispintro.
Diffstat (limited to 'msdos/sed6.inp')
| -rw-r--r-- | msdos/sed6.inp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/msdos/sed6.inp b/msdos/sed6.inp index 398cff822f..eb82598bf5 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/^/# / |