src/Tools/8bit/doc/Makefile

--- a/src/Tools/8bit/doc/Makefile	Wed Nov 05 15:36:01 1997 +0100
+++ b/src/Tools/8bit/doc/Makefile	Wed Nov 05 15:36:40 1997 +0100
@@ -26,9 +26,11 @@
 
 FONTDOCFILES = fontindex.dvi keyindex.dvi fkmatrix.dvi
 
+all: manual.dvi fontdocfiles
+
 fontdocfiles: $(FONTDOCFILES)
 
-manual: manual.dvi
+manual.dvi: manual.itex
 
 clean:
-	rm -f *.aux *.log
+	rm -f *.tex *.aux *.log