Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added entry for manual
authoroheimb
Wed, 05 Nov 1997 15:36:40 +0100
changeset 4165 42f2619adfd7
parent 4164 171aacc64aa5
child 4166 610d17d32b9e
added entry for manual
src/Tools/8bit/doc/Makefile file | annotate | diff | comparison | revisions 
--- 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
isabelle