doc-src/Logics/Makefile
author haftmann
Wed Dec 27 19:10:06 2006 +0100 (2006-12-27)
changeset 21915 4e63c55f4cb4
parent 9695 ec7d7f877712
child 42637 381fdcab0f36
permissions -rw-r--r--
different handling of type variable names
wenzelm@6597
     1
#
wenzelm@6597
     2
# $Id$
wenzelm@6597
     3
#
wenzelm@6597
     4
wenzelm@6597
     5
## targets
wenzelm@6597
     6
wenzelm@6597
     7
default: dvi
lcp@605
     8
lcp@605
     9
wenzelm@6597
    10
## dependencies
wenzelm@6597
    11
wenzelm@6597
    12
include ../Makefile.in
wenzelm@6597
    13
wenzelm@6597
    14
NAME = logics
paulson@7160
    15
FILES = logics.tex preface.tex syntax.tex LK.tex Sequents.tex CTT.tex \
wenzelm@9695
    16
	../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
lcp@605
    17
wenzelm@6597
    18
dvi: $(NAME).dvi
wenzelm@2661
    19
wenzelm@6598
    20
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6597
    21
	$(LATEX) $(NAME)
wenzelm@6597
    22
	$(BIBTEX) $(NAME)
wenzelm@6597
    23
	$(LATEX) $(NAME)
wenzelm@6597
    24
	$(LATEX) $(NAME)
wenzelm@6597
    25
	$(SEDINDEX) $(NAME)
wenzelm@6597
    26
	$(LATEX) $(NAME)
wenzelm@6623
    27
wenzelm@6623
    28
pdf: $(NAME).pdf
wenzelm@6623
    29
wenzelm@6623
    30
$(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6623
    31
	$(PDFLATEX) $(NAME)
wenzelm@6623
    32
	$(BIBTEX) $(NAME)
wenzelm@6623
    33
	$(PDFLATEX) $(NAME)
wenzelm@6623
    34
	$(PDFLATEX) $(NAME)
wenzelm@6623
    35
	$(SEDINDEX) $(NAME)
wenzelm@6623
    36
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6623
    37
	$(PDFLATEX) $(NAME)