doc-src/AxClass/Makefile
author wenzelm
Tue Sep 19 23:15:28 2006 +0200 (2006-09-19)
changeset 20622 e1a573146be5
parent 17136 281667d3a7b2
child 26913 67040326ab7a
permissions -rw-r--r--
tuned proofs;
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 
    10 ## dependencies
    11 
    12 include ../Makefile.in
    13 
    14 NAME = axclass
    15 
    16 FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
    17   ../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \
    18   Group/document/Product.tex Group/document/Semigroups.tex
    19 
    20 dvi: $(NAME).dvi
    21 
    22 $(NAME).dvi: $(FILES) isabelle_isar.eps
    23 	$(LATEX) $(NAME)
    24 	$(BIBTEX) $(NAME)
    25 	$(LATEX) $(NAME)
    26 	$(LATEX) $(NAME)
    27 
    28 pdf: $(NAME).pdf
    29 
    30 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    31 	$(PDFLATEX) $(NAME)
    32 	$(FIXBOOKMARKS) $(NAME).out
    33 	$(BIBTEX) $(NAME)
    34 	$(PDFLATEX) $(NAME)
    35 	$(PDFLATEX) $(NAME)