1.1 --- a/doc-src/AxClass/Makefile Wed Mar 04 11:05:02 2009 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,36 +0,0 @@
1.4 -#
1.5 -# $Id$
1.6 -#
1.7 -
1.8 -## targets
1.9 -
1.10 -default: dvi
1.11 -
1.12 -
1.13 -## dependencies
1.14 -
1.15 -include ../Makefile.in
1.16 -
1.17 -NAME = axclass
1.18 -
1.19 -FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
1.20 - ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
1.21 - Group/document/Group.tex Nat/document/NatClass.tex \
1.22 - Group/document/Product.tex Group/document/Semigroups.tex
1.23 -
1.24 -dvi: $(NAME).dvi
1.25 -
1.26 -$(NAME).dvi: $(FILES) isabelle_isar.eps
1.27 - $(LATEX) $(NAME)
1.28 - $(BIBTEX) $(NAME)
1.29 - $(LATEX) $(NAME)
1.30 - $(LATEX) $(NAME)
1.31 -
1.32 -pdf: $(NAME).pdf
1.33 -
1.34 -$(NAME).pdf: $(FILES) isabelle_isar.pdf
1.35 - $(PDFLATEX) $(NAME)
1.36 - $(FIXBOOKMARKS) $(NAME).out
1.37 - $(BIBTEX) $(NAME)
1.38 - $(PDFLATEX) $(NAME)
1.39 - $(PDFLATEX) $(NAME)