--- a/src/Tools/8bit/doc/Makefile	Wed Nov 05 16:37:22 1997 +0100
+++ b/src/Tools/8bit/doc/Makefile	Wed Nov 05 18:31:14 1997 +0100
@@ -11,7 +11,7 @@
 MAKEFLAGS='s'
 
 LATEX=latex2e
-ISA2LATEX=isa2latex
+ISA2LATEX=../bin/isa2latex
 
 CHECKOUT=co
 
@@ -30,7 +30,7 @@
 
 fontdocfiles: $(FONTDOCFILES)
 
-manual.dvi: manual.itex
-
+manual.dvi: manual.tex
+	$(LATEX) $< >/dev/null; $(LATEX) $<
 clean:
 	rm -f *.tex *.aux *.log