# HG changeset patch
# User oheimb
# Date 878740600 -3600
# Node ID 42f2619adfd7dd6c058073cb8465069bf91eb9fa
# Parent  171aacc64aa5f6a95c493c516ba78f9eaf2e581f
added entry for manual

diff -r 171aacc64aa5 -r 42f2619adfd7 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