# HG changeset patch # User Eli Zaretskii # Date 1006598272 0 # Node ID 14bc899ea2883565f7c1d7c766e670e5dbbcbe53 # Parent ebb701a79bdcab4eec0ec6a73516e2b7c37324bf (SHELL): Comment away, for lispintro. diff -r ebb701a79bdc -r 14bc899ea288 msdos/sed6.inp --- a/msdos/sed6.inp Sat Nov 24 10:36:56 2001 +0000 +++ b/msdos/sed6.inp Sat Nov 24 10:37:52 2001 +0000 @@ -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 @@ /^texinputdir/c\ texinputdir =\ export texinputdir := $(srcdir)";"$(TEXINPUTS) +/^SHELL *=/s/^/# /