doc-src/AxClass/Makefile
author wenzelm
Mon, 13 Mar 2000 13:21:39 +0100
changeset 8434 5e4bba59bfaa
parent 6629 6edc66a9d80b
child 8890 9a44d8d98731
permissions -rw-r--r--
use HOLogic.Not; export indexify_names;
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
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    15
FILES = axclass.tex style.tex
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    16
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    17
dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    18
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    19
$(NAME).dvi: $(FILES)
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    20
	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    21
	$(LATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    22
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    23
pdf: $(NAME).pdf
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    24
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    25
$(NAME).pdf: $(FILES)
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    26
	$(PDFLATEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    27
	$(FIXBOOKMARKS) $(NAME).out
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    28
	$(PDFLATEX) $(NAME)