--- a/doc-src/AxClass/Makefile Sat May 20 18:37:21 2000 +0200
+++ b/doc-src/AxClass/Makefile Sun May 21 01:12:00 2000 +0200
@@ -12,17 +12,22 @@
include ../Makefile.in
NAME = axclass
-FILES = axclass.tex style.tex
+
+FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../pdfsetup.sty
dvi: $(NAME).dvi
-$(NAME).dvi: $(FILES)
+$(NAME).dvi: $(FILES) isabelle_isar.eps
+ $(LATEX) $(NAME)
+ $(BIBTEX) $(NAME)
$(LATEX) $(NAME)
$(LATEX) $(NAME)
pdf: $(NAME).pdf
-$(NAME).pdf: $(FILES)
+$(NAME).pdf: $(FILES) isabelle_isar.pdf
$(PDFLATEX) $(NAME)
$(FIXBOOKMARKS) $(NAME).out
+ $(BIBTEX) $(NAME)
$(PDFLATEX) $(NAME)
+ $(PDFLATEX) $(NAME)