doc-src/AxClass/Makefile
author wenzelm
Mon, 22 May 2000 10:31:44 +0200
changeset 8906 fc7841f31388
parent 8903 78d6e47469e4
child 17136 281667d3a7b2
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     1
#
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     2
# $Id$
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     3
#
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     4
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     5
## targets
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     6
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     7
default: dvi
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
     8
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
     9
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    10
## dependencies
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    11
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    12
include ../Makefile.in
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    13
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    14
NAME = axclass
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    15
8903
78d6e47469e4 new Isar version;
wenzelm
parents: 8890
diff changeset
    16
FILES = axclass.tex body.tex ../iman.sty ../extra.sty ../isar.sty \
78d6e47469e4 new Isar version;
wenzelm
parents: 8890
diff changeset
    17
  ../pdfsetup.sty generated/Group.tex generated/NatClass.tex \
8906
wenzelm
parents: 8903
diff changeset
    18
  generated/Product.tex generated/Semigroups.tex
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    19
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    20
dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    21
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    22
$(NAME).dvi: $(FILES) isabelle_isar.eps
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    23
	$(LATEX) $(NAME)
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    24
	$(BIBTEX) $(NAME)
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    25
	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    26
	$(LATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    27
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    28
pdf: $(NAME).pdf
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    29
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    30
$(NAME).pdf: $(FILES) isabelle_isar.pdf
6623
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    31
	$(PDFLATEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    32
	$(FIXBOOKMARKS) $(NAME).out
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    33
	$(BIBTEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    34
	$(PDFLATEX) $(NAME)
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents: 6629
diff changeset
    35
	$(PDFLATEX) $(NAME)