--- a/src/Tools/8bit/doc/Makefile Fri Dec 13 18:25:45 1996 +0100
+++ b/src/Tools/8bit/doc/Makefile Fri Dec 13 18:32:07 1996 +0100
@@ -28,9 +28,7 @@
fontdocfiles: $(FONTDOCFILES)
-manual: manual.tex manual.dvi
-
-manual.tex: manual.itex
+manual: manual.dvi
clean:
rm -f *.aux *.log