added entry for manual
authoroheimb
Wed Nov 05 15:36:40 1997 +0100 (1997-11-05)
changeset 416542f2619adfd7
parent 4164 171aacc64aa5
child 4166 610d17d32b9e
added entry for manual
src/Tools/8bit/doc/Makefile
     1.1 --- a/src/Tools/8bit/doc/Makefile	Wed Nov 05 15:36:01 1997 +0100
     1.2 +++ b/src/Tools/8bit/doc/Makefile	Wed Nov 05 15:36:40 1997 +0100
     1.3 @@ -26,9 +26,11 @@
     1.4  
     1.5  FONTDOCFILES = fontindex.dvi keyindex.dvi fkmatrix.dvi
     1.6  
     1.7 +all: manual.dvi fontdocfiles
     1.8 +
     1.9  fontdocfiles: $(FONTDOCFILES)
    1.10  
    1.11 -manual: manual.dvi
    1.12 +manual.dvi: manual.itex
    1.13  
    1.14  clean:
    1.15 -	rm -f *.aux *.log
    1.16 +	rm -f *.tex *.aux *.log