diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-05-18 14:46:07 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-05-18 14:46:07 +0000 |
| commit | c843ea92d404861ef4edb5fe479e5b4a1eda4e63 (patch) | |
| tree | 47109d2114b09e49e543b2d0b93f110b98b27ac0 /msdos | |
| parent | 21daa24150ef6030e11ddd784a353fbb5935bcd1 (diff) | |
| download | emacs-c843ea92d404861ef4edb5fe479e5b4a1eda4e63.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')
| -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) |