doc-src/Intro/Makefile
author aspinall
Sun Dec 31 15:34:21 2006 +0100 (2006-12-31)
changeset 21973 e7c9b0d3ce82
parent 9695 ec7d7f877712
child 42637 381fdcab0f36
permissions -rw-r--r--
Quote arguments in PGIP exceptions. Tune comment.
wenzelm@6599
     1
#
wenzelm@6599
     2
# $Id$
wenzelm@6599
     3
#
wenzelm@6599
     4
wenzelm@6599
     5
## targets
wenzelm@6599
     6
wenzelm@6599
     7
default: dvi
lcp@603
     8
lcp@603
     9
wenzelm@6599
    10
## dependencies
wenzelm@6599
    11
wenzelm@6599
    12
include ../Makefile.in
wenzelm@6599
    13
wenzelm@6599
    14
NAME = intro
wenzelm@6599
    15
FILES = intro.tex foundations.tex getting.tex advanced.tex \
wenzelm@9695
    16
	../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
lcp@603
    17
wenzelm@6599
    18
dvi: $(NAME).dvi
wenzelm@2656
    19
wenzelm@6599
    20
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6599
    21
	$(LATEX) $(NAME)
wenzelm@6599
    22
	$(BIBTEX) $(NAME)
wenzelm@6599
    23
	$(LATEX) $(NAME)
wenzelm@6599
    24
	$(LATEX) $(NAME)
wenzelm@6599
    25
	$(SEDINDEX) $(NAME)
wenzelm@6599
    26
	$(LATEX) $(NAME)
wenzelm@6611
    27
wenzelm@6611
    28
pdf: $(NAME).pdf
wenzelm@6611
    29
wenzelm@6617
    30
$(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6611
    31
	$(PDFLATEX) $(NAME)
wenzelm@6611
    32
	$(BIBTEX) $(NAME)
wenzelm@6611
    33
	$(PDFLATEX) $(NAME)
wenzelm@6611
    34
	$(PDFLATEX) $(NAME)
wenzelm@6611
    35
	$(SEDINDEX) $(NAME)
wenzelm@6611
    36
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6611
    37
	$(PDFLATEX) $(NAME)