doc-src/ZF/Makefile
author wenzelm
Wed, 05 May 1999 18:48:32 +0200
changeset 6604 d646567156c3
parent 6595 fc06a79e1f09
child 6623 021728c71030
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6595
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     1
#
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     2
# $Id$
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     3
#
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     4
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     5
## targets
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     6
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     7
default: dvi
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
     8
dist: dvi
6121
5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff changeset
     9
5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff changeset
    10
6595
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    11
## dependencies
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    12
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    13
include ../Makefile.in
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    14
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    15
NAME = logics-ZF
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    16
FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    17
	../rail.sty ../proof.sty ../iman.sty ../extra.sty
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    18
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    19
dvi: $(NAME).dvi
6121
5fe77b9b5185 the separate FOL and ZF logics manual, with new material on datatypes and
paulson
parents:
diff changeset
    20
6595
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    21
$(NAME).dvi: $(FILES) isabelle_zf.eps
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    22
	touch $(NAME).ind
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    23
	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    24
	$(RAIL) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    25
	$(BIBTEX) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    26
	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    27
	$(LATEX) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    28
	$(SEDINDEX) $(NAME)
fc06a79e1f09 improved Makefile;
wenzelm
parents: 6579
diff changeset
    29
	$(LATEX) $(NAME)