annotate msdos/sed6.inp @ 31178:ade2aeaf252e

(QCinherit): New variable. (syms_of_xfaces): Initialize it. (LFACE_INHERIT): New macro. (Finternal_get_lisp_face_attribute, merge_face_vector_with_property) (Finternal_set_lisp_face_attribute): Deal with :inherit attribute. (check_lface_attrs): Allow new types of face height. Check inherit attribute. (CYCLE_CHECK): New macro. (merge_face_inheritance): New function. (merge_face_vectors): Merge inherited faces too. Add F and CYCLE_CHECK arguments. (merge_face_vector_with_property, Finternal_merge_in_global_face) (lookup_named_face, lookup_derived_face, realize_named_face) (face_at_string_position, face_at_buffer_position): Supply new F and CYCLE_CHECK arguments to merge_face_vectors. (merge_face_heights): New function. (merge_face_vectors, merge_face_vector_with_property) (Finternal_set_lisp_face_attribute): Call merge_face_heights to handle relative face heights. (lface_same_font_attributes_p): Compare heights using EQ.
author Miles Bader <miles@gnu.org>
date Sat, 26 Aug 2000 05:36:17 +0000
parents b77f0b29fdb9
children a4fb0c9be609
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
20283
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 # -sed6.inp-----------------------------------------------------------
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 # Configuration script for man/Makefile under DJGPP v2.x
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 # ----------------------------------------------------------------------
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 /^srcdir *=/s/@[^@\n]*@/./
e69cf70835f9 Initial revision
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 /^VPATH *=/s/@[^@\n]*@/./
28972
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
6 /^ENVADD/c\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
7 ENVADD =\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
8 export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
b77f0b29fdb9 Changes to allow "make foo.dvi" on DJGPP platforms:
Eli Zaretskii <eliz@gnu.org>
parents: 20283
diff changeset
9 export MAKEINFO := $(MAKEINFO) -I$(srcdir)