diff -r b729345319f0 -r 978a3c2ed7ce IsaMakefile --- a/IsaMakefile Wed Sep 03 18:29:48 2008 +0200 +++ b/IsaMakefile Fri Sep 05 09:47:51 2008 +0200 @@ -1,13 +1,11 @@ ## targets -default: cookbook.pdf +default: cookbook images: -test: CookBook +test: -all: images test - -TEXFILES = cookbook.tex +all: cookbook ## global settings @@ -20,19 +18,15 @@ ## CookBook -CookBook: $(LOG)/HOL-CookBook.gz - -$(LOG)/HOL-CookBook.gz: CookBook/ROOT.ML CookBook/document/root.tex CookBook/*.thy - @$(USEDIR) HOL CookBook - -cookbook.pdf: $(LOG)/HOL-CookBook.gz $(TEXFILES) - pdflatex cookbook.tex - bibtex cookbook - pdflatex cookbook.tex - pdflatex cookbook.tex - +cookbook: CookBook/ROOT.ML \ + CookBook/document/root.tex \ + CookBook/document/cookbook.bib \ + CookBook/*.thy + $(USEDIR) HOL CookBook + $(ISATOOL) document -o pdf CookBook/generated + @cp CookBook/document.pdf cookbook.pdf ## clean clean: - @rm -f $(LOG)/HOL-CookBook.gz CookBook/generated/* + @rm -f CookBook/generated/*