doc-src/ZF/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 26913 67040326ab7a
child 42518 57367832b81a
permissions -rw-r--r--
eliminated copies of isabelle style files;
wenzelm@6595
     1
#
wenzelm@6595
     2
# $Id$
wenzelm@6595
     3
#
wenzelm@6595
     4
wenzelm@6595
     5
## targets
wenzelm@6595
     6
wenzelm@6595
     7
default: dvi
paulson@6121
     8
paulson@6121
     9
wenzelm@6595
    10
## dependencies
wenzelm@6595
    11
wenzelm@6595
    12
include ../Makefile.in
wenzelm@6595
    13
wenzelm@6595
    14
NAME = logics-ZF
wenzelm@26913
    15
FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty	\
wenzelm@26913
    16
  ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty	\
wenzelm@42511
    17
  ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
wenzelm@6595
    18
wenzelm@6595
    19
dvi: $(NAME).dvi
paulson@6121
    20
wenzelm@6595
    21
$(NAME).dvi: $(FILES) isabelle_zf.eps
wenzelm@6595
    22
	$(LATEX) $(NAME)
wenzelm@6595
    23
	$(RAIL) $(NAME)
wenzelm@6595
    24
	$(BIBTEX) $(NAME)
wenzelm@6595
    25
	$(LATEX) $(NAME)
wenzelm@6595
    26
	$(LATEX) $(NAME)
wenzelm@6595
    27
	$(SEDINDEX) $(NAME)
wenzelm@6595
    28
	$(LATEX) $(NAME)
wenzelm@6623
    29
wenzelm@6623
    30
pdf: $(NAME).pdf
wenzelm@6623
    31
wenzelm@6623
    32
$(NAME).pdf: $(FILES) isabelle_zf.pdf
wenzelm@6623
    33
	$(PDFLATEX) $(NAME)
wenzelm@6623
    34
	$(RAIL) $(NAME)
wenzelm@6623
    35
	$(BIBTEX) $(NAME)
wenzelm@6623
    36
	$(PDFLATEX) $(NAME)
wenzelm@6623
    37
	$(PDFLATEX) $(NAME)
wenzelm@6623
    38
	$(SEDINDEX) $(NAME)
wenzelm@6623
    39
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6623
    40
	$(PDFLATEX) $(NAME)