doc-src/Intro/Makefile
author wenzelm
Thu May 06 19:04:20 1999 +0200 (1999-05-06)
changeset 6611 08dfd050b373
parent 6599 dc5bf3f40ad3
child 6617 2d56911d7329
permissions -rw-r--r--
pdf setup;
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
wenzelm@6599
     8
dist: dvi
lcp@603
     9
lcp@603
    10
wenzelm@6599
    11
## dependencies
wenzelm@6599
    12
wenzelm@6599
    13
include ../Makefile.in
wenzelm@6599
    14
wenzelm@6599
    15
NAME = intro
wenzelm@6599
    16
FILES = intro.tex foundations.tex getting.tex advanced.tex \
wenzelm@6599
    17
	../proof.sty ../iman.sty ../extra.sty
lcp@603
    18
wenzelm@6599
    19
dvi: $(NAME).dvi
wenzelm@2656
    20
wenzelm@6599
    21
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6599
    22
	touch $(NAME).ind
wenzelm@6599
    23
	$(LATEX) $(NAME)
wenzelm@6599
    24
	$(BIBTEX) $(NAME)
wenzelm@6599
    25
	$(LATEX) $(NAME)
wenzelm@6599
    26
	$(LATEX) $(NAME)
wenzelm@6599
    27
	$(SEDINDEX) $(NAME)
wenzelm@6599
    28
	$(LATEX) $(NAME)
wenzelm@6611
    29
wenzelm@6611
    30
wenzelm@6611
    31
pdf: $(NAME).pdf
wenzelm@6611
    32
wenzelm@6611
    33
$(NAME).pdf: $(FILES) isabelle.png
wenzelm@6611
    34
	touch $(NAME).ind
wenzelm@6611
    35
	$(PDFLATEX) $(NAME)
wenzelm@6611
    36
	$(BIBTEX) $(NAME)
wenzelm@6611
    37
	$(PDFLATEX) $(NAME)
wenzelm@6611
    38
	$(PDFLATEX) $(NAME)
wenzelm@6611
    39
	$(SEDINDEX) $(NAME)
wenzelm@6611
    40
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6611
    41
	$(PDFLATEX) $(NAME)