view msdos/sed6.inp @ 33843:388a61e78c53

(custom-filter-face-spec, custom-pre-filter-face-spec) (custom-post-filter-face-spec): New functions. (custom-face-set, custom-face-value-create): Filter the face spec before and after customization. (custom-face-set): If VALUE specifies a null face, pass a non-null-but-otherwise-ignored face-spec instead to `face-spec-set'.
author Miles Bader <miles@gnu.org>
date Fri, 24 Nov 2000 09:09:55 +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)