Mercurial > emacs
annotate msdos/sed6.inp @ 32080:ce5196c4aa6f
(isearch-faces): New custom group.
(isearch): New defface; was already tested for in the code.
(isearch-lazy-highlight-face): Changed to defface from defcustom.
(isearch-highlight): Always use face `isearch'.
author | Gerd Moellmann <gerd@gnu.org> |
---|---|
date | Mon, 02 Oct 2000 19:18:09 +0000 |
parents | b77f0b29fdb9 |
children | a4fb0c9be609 |
rev | line source |
---|---|
20283 | 1 # -sed6.inp----------------------------------------------------------- |
2 # Configuration script for man/Makefile under DJGPP v2.x | |
3 # ---------------------------------------------------------------------- | |
4 /^srcdir *=/s/@[^@\n]*@/./ | |
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) |