annotate msdos/sed6.inp @ 32603:87af45b9ad99

(diff-header-face, diff-file-header-face) (diff-changed-face): Add bold and italic attributes to tty faces. (diff-function-face): New face. (diff-font-lock-keywords): Use it.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 18 Oct 2000 08:50:39 +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)