diff options
author | Eli Zaretskii <eliz@gnu.org> | 2000-05-18 14:46:49 +0000 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2000-05-18 14:46:49 +0000 |
commit | fcd2e082eddcc47ac26796b2c8c54c96e76cb4ba (patch) | |
tree | 4e9fe704a77e91ae02fafd6bec1eccffb5c62baf /msdos/sed6.inp | |
parent | 63dffd51db074c8c66f9502117794c4cc3cf41a1 (diff) | |
download | emacs-fcd2e082eddcc47ac26796b2c8c54c96e76cb4ba.tar.gz |
Changes to allow "make foo.dvi" on DJGPP platforms:
(ENVADD): Redefine as empty, to avoid requiring a Unixy shell.
(TEXINPUTS): Use semi-colon; export explicitly.
(MAKEINFO): Export explicitly.
Diffstat (limited to 'msdos/sed6.inp')
-rw-r--r-- | msdos/sed6.inp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/msdos/sed6.inp b/msdos/sed6.inp index 27554456804..336033e0cab 100644 --- a/msdos/sed6.inp +++ b/msdos/sed6.inp @@ -3,3 +3,7 @@ # ---------------------------------------------------------------------- /^srcdir *=/s/@[^@\n]*@/./ /^VPATH *=/s/@[^@\n]*@/./ +/^ENVADD/c\ +ENVADD =\ +export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\ +export MAKEINFO := $(MAKEINFO) -I$(srcdir) |