doc-src/AxClass/Makefile
author wenzelm
Mon, 10 May 1999 16:35:22 +0200
changeset 6623 021728c71030
parent 6599 dc5bf3f40ad3
child 6629 6edc66a9d80b
permissions -rw-r--r--
pdf setup;
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
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
     8
dist: dvi
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
     9
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    10
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    11
## dependencies
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    12
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    13
include ../Makefile.in
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    14
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    15
NAME = axclass
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    16
FILES = axclass.tex style.tex
3167
4e1eae442821 Tutorial on Axiomatic Type Classes;
wenzelm
parents:
diff changeset
    17
6599
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    18
dvi: $(NAME).dvi
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    19
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    20
$(NAME).dvi: $(FILES)
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    21
	$(LATEX) $(NAME)
dc5bf3f40ad3 improved Makefile;
wenzelm
parents: 3167
diff changeset
    22
	$(LATEX) $(NAME)
6623
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    23
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    24
pdf: $(NAME).pdf
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    25
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    26
$(NAME).pdf: $(FILES)
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    27
	$(PDFLATEX) $(NAME)
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    28
	$(FIXBOOKMARKS) $(NAME).out
021728c71030 pdf setup;
wenzelm
parents: 6599
diff changeset
    29
	$(PDFLATEX) $(NAME)