changeset 28972:b77f0b29fdb9

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.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 18 May 2000 14:46:07 +0000
parents a7bbac783196
children d87cf6d0bd48
files msdos/sed6.inp
diffstat 1 files changed, 4 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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)