view msdos/sed6.inp @ 33068:a31c3787231b

(echo_area_display): Don't perform a display update from inside redisplay. The update will happen anyway at the end of redisplay, and it can confuse redisplay (GC messages while redisplaying, for instance.)
author Gerd Moellmann <gerd@gnu.org>
date Mon, 30 Oct 2000 15:23:41 +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)