view msdos/sed6.inp @ 34685:7218b9b8c2ad

(server-buffer-done): Bury the buffer before killing it.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 18 Dec 2000 17:00:48 +0000
parents b77f0b29fdb9
children a4fb0c9be609
line wrap: on
line source

# -sed6.inp-----------------------------------------------------------
# Configuration script for man/Makefile under DJGPP v2.x
# ----------------------------------------------------------------------
/^srcdir *=/s/@[^@\n]*@/./
/^VPATH *=/s/@[^@\n]*@/./
/^ENVADD/c\
ENVADD =\
export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
export MAKEINFO := $(MAKEINFO) -I$(srcdir)