doc-src/Intro/Makefile
author wenzelm
Mon May 02 22:31:46 2011 +0200 (2011-05-02)
changeset 42637 381fdcab0f36
parent 9695 ec7d7f877712
permissions -rw-r--r--
eliminated old CVS Ids;
wenzelm@6599
     1
wenzelm@6599
     2
## targets
wenzelm@6599
     3
wenzelm@6599
     4
default: dvi
lcp@603
     5
lcp@603
     6
wenzelm@6599
     7
## dependencies
wenzelm@6599
     8
wenzelm@6599
     9
include ../Makefile.in
wenzelm@6599
    10
wenzelm@6599
    11
NAME = intro
wenzelm@6599
    12
FILES = intro.tex foundations.tex getting.tex advanced.tex \
wenzelm@9695
    13
	../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
lcp@603
    14
wenzelm@6599
    15
dvi: $(NAME).dvi
wenzelm@2656
    16
wenzelm@6599
    17
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6599
    18
	$(LATEX) $(NAME)
wenzelm@6599
    19
	$(BIBTEX) $(NAME)
wenzelm@6599
    20
	$(LATEX) $(NAME)
wenzelm@6599
    21
	$(LATEX) $(NAME)
wenzelm@6599
    22
	$(SEDINDEX) $(NAME)
wenzelm@6599
    23
	$(LATEX) $(NAME)
wenzelm@6611
    24
wenzelm@6611
    25
pdf: $(NAME).pdf
wenzelm@6611
    26
wenzelm@6617
    27
$(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6611
    28
	$(PDFLATEX) $(NAME)
wenzelm@6611
    29
	$(BIBTEX) $(NAME)
wenzelm@6611
    30
	$(PDFLATEX) $(NAME)
wenzelm@6611
    31
	$(PDFLATEX) $(NAME)
wenzelm@6611
    32
	$(SEDINDEX) $(NAME)
wenzelm@6611
    33
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6611
    34
	$(PDFLATEX) $(NAME)