--- gforth/Makefile.in	2006/03/11 22:29:13	1.318
+++ gforth/Makefile.in	2006/04/08 08:18:17	1.322
@@ -88,8 +88,8 @@ FORTHK	= $(ENGINE) $(FORTHKFLAGS)
 # in exboot.fs
 STARTUP	= exboot.fs startup.fs @asm_fs@ @disasm_fs@
 STRIP	= strip
-TEXI2DVI = texi2dvi -e
-TEXI2PDF = texi2dvi --pdf -e
+TEXI2DVI = texi2dvi4a2ps -e
+TEXI2PDF = texi2dvi4a2ps --pdf -e
 DVI2PS	= dvips -t letterSize -Z
 #you can get texi2html from http://wwwcn.cern.ch/dci/texi2html/
 MAKEINFO = makeinfo
@@ -208,6 +208,7 @@ GFORTH_FI_SRC = \
 	debugs.fs \
 	dis-gdb.fs \
 	ekey.fs \
+	envos.fs \
 	savesys.fs \
 	environ.fs \
 	errors.fs \
@@ -247,7 +248,7 @@ FORTH_SRC = $(KERN_SRC) $(GFORTH_FI_SRC)
 	ans-report.fs ansi.fs answords.fs \
 	colorize.fs comp-i.fs \
 	depth-changes.fs dosekey.fs doskey.fs ds2texi.fs \
-	envos.fs envos.dos envos.os2 etags.fs filedump.fs fi2c.fs \
+	envos.dos envos.os2 etags.fs filedump.fs fi2c.fs \
 	fsl-util.4th glosgen.fs gray.fs httpd.fs proxy.fs \
 	make-app.fs doc/makedoc.fs \
 	locate.fs more.fs other.fs prims2x.fs random.fs \
@@ -420,8 +421,8 @@ FORTH_GEN1 = $(FORTH_GEN0) @kernel_fi@
 KERN_DEPS = $(KERN_SRC) kernel/version.fs machpc.fs $(FORTH_GEN0) compat/strcomp.fs
 
 #distributed documentation
-DOCDIST = doc/gforth.info doc/gforth.info* doc/gforth.ps \
-	  doc/vmgen.info doc/vmgen.info* doc/vmgen.ps
+DOCDIST = doc/gforth.info doc/gforth.info-* doc/gforth.ps \
+	  doc/vmgen.info doc/vmgen.ps
 
 KERNLS = kernl16b.fi- kernl16l.fi- \
 	 kernl32b.fi- kernl32l.fi- \
@@ -927,7 +928,7 @@ engine/config.h: stamp-h
 stamp-h: engine/config.h.in config.status stamp-h.in
 	./config.status
 
-Makefile Makedist engine/Makefile gforthmi vmgen machpc.fs doc/version.texi:	Makefile.in Makedist.in engine/Makefile.in gforthmi.in vmgen.in machpc.fs.in doc/version.texi.in config.status configure.in
+Makefile Makedist engine/Makefile gforthmi vmgen machpc.fs doc/version.texi envos.fs:	Makefile.in Makedist.in engine/Makefile.in gforthmi.in vmgen.in machpc.fs.in doc/version.texi.in config.status configure.in envos.fs.in
 	./config.status
 
 config.status: configure