12 include ../Makefile.in
14 SEDINDEX = ./isa-index
17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
18 Advanced/advanced.tex \
20 Inductive/inductive.tex Inductive/even-example.tex \
21 Inductive/advanced-examples.tex \
22 Protocol/protocol.tex \
23 Rules/rules.tex Sets/sets.tex \
24 Types/numerics.tex Types/records.tex Types/types.tex \
25 Documents/documents.tex \
26 ../iman.sty ../ttbox.sty ../extra.sty \
27 isabelle.sty isabellesym.sty ../pdfsetup.sty
31 $(NAME).dvi: $(FILES) isabelle_hol.eps
41 $(NAME).pdf: $(FILES) isabelle_hol.pdf
47 $(FIXBOOKMARKS) $(NAME).out