# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 958661167 0
# Node ID b77f0b29fdb97cc478e5ae3f2276e40370b9fc19
# Parent  a7bbac7831961eff64689e071d0224b4c83124ad
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.

diff -r a7bbac783196 -r b77f0b29fdb9 msdos/sed6.inp
--- a/msdos/sed6.inp	Thu May 18 14:44:57 2000 +0000
+++ b/msdos/sed6.inp	Thu May 18 14:46:07 2000 +0000
@@ -3,3 +3,7 @@
 # ----------------------------------------------------------------------
 /^srcdir *=/s/@[^@\n]*@/./
 /^VPATH *=/s/@[^@\n]*@/./
+/^ENVADD/c\
+ENVADD =\
+export TEXINPUTS := $(srcdir)";"$(TEXINPUTS)\
+export MAKEINFO := $(MAKEINFO) -I$(srcdir)