author | paulson |
Mon, 15 Dec 2003 17:08:41 +0100 | |
changeset 14296 | bcba1d67f854 |
parent 8906 | fc7841f31388 |
child 17136 | 281667d3a7b2 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = axclass
16 FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
17 ../pdfsetup.sty generated/Group.tex generated/NatClass.tex \
18 generated/Product.tex generated/Semigroups.tex
20 dvi: $(NAME).dvi
22 $(NAME).dvi: $(FILES) isabelle_isar.eps
23 $(LATEX) $(NAME)
24 $(BIBTEX) $(NAME)
25 $(LATEX) $(NAME)
26 $(LATEX) $(NAME)
28 pdf: $(NAME).pdf
30 $(NAME).pdf: $(FILES) isabelle_isar.pdf
31 $(PDFLATEX) $(NAME)
32 $(FIXBOOKMARKS) $(NAME).out
33 $(BIBTEX) $(NAME)
34 $(PDFLATEX) $(NAME)
35 $(PDFLATEX) $(NAME)