doc-src/AxClass/Makefile
author aspinall
Sun Dec 31 15:34:21 2006 +0100 (2006-12-31)
changeset 21973 e7c9b0d3ce82
parent 17136 281667d3a7b2
child 26913 67040326ab7a
permissions -rw-r--r--
Quote arguments in PGIP exceptions. Tune comment.
wenzelm@6599
     1
#
wenzelm@6599
     2
# $Id$
wenzelm@6599
     3
#
wenzelm@6599
     4
wenzelm@6599
     5
## targets
wenzelm@6599
     6
wenzelm@6599
     7
default: dvi
wenzelm@3167
     8
wenzelm@3167
     9
wenzelm@6599
    10
## dependencies
wenzelm@3167
    11
wenzelm@6599
    12
include ../Makefile.in
wenzelm@3167
    13
wenzelm@6599
    14
NAME = axclass
wenzelm@8890
    15
wenzelm@8903
    16
FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
wenzelm@17136
    17
  ../pdfsetup.sty Group/document/Group.tex Nat/document/NatClass.tex \
wenzelm@17136
    18
  Group/document/Product.tex Group/document/Semigroups.tex
wenzelm@3167
    19
wenzelm@6599
    20
dvi: $(NAME).dvi
wenzelm@6599
    21
wenzelm@8890
    22
$(NAME).dvi: $(FILES) isabelle_isar.eps
wenzelm@8890
    23
	$(LATEX) $(NAME)
wenzelm@8890
    24
	$(BIBTEX) $(NAME)
wenzelm@6599
    25
	$(LATEX) $(NAME)
wenzelm@6599
    26
	$(LATEX) $(NAME)
wenzelm@6623
    27
wenzelm@6623
    28
pdf: $(NAME).pdf
wenzelm@6623
    29
wenzelm@8890
    30
$(NAME).pdf: $(FILES) isabelle_isar.pdf
wenzelm@6623
    31
	$(PDFLATEX) $(NAME)
wenzelm@6623
    32
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@8890
    33
	$(BIBTEX) $(NAME)
wenzelm@6623
    34
	$(PDFLATEX) $(NAME)
wenzelm@8890
    35
	$(PDFLATEX) $(NAME)