doc-src/AxClass/Makefile
author wenzelm
Wed, 05 May 1999 18:26:10 +0200
changeset 6599 dc5bf3f40ad3
parent 3167 4e1eae442821
child 6623 021728c71030
permissions -rw-r--r--
improved Makefile;
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)