view msdos/sed6.inp @ 30235:5a0d447b7eea

check default_face before dereferencing
author Sam Steingold <sds@gnu.org>
date Fri, 14 Jul 2000 20:29:04 +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)