doc-src/Ref/Makefile
author wenzelm
Mon Aug 28 13:52:38 2000 +0200 (2000-08-28)
changeset 9695 ec7d7f877712
parent 8828 5be2d1745c61
child 30184 37969710e61f
permissions -rw-r--r--
proper setup of iman.sty/extra.sty/ttbox.sty;
wenzelm@6600
     1
#
wenzelm@6600
     2
# $Id$
wenzelm@6600
     3
#
wenzelm@6600
     4
wenzelm@6600
     5
## targets
wenzelm@6600
     6
wenzelm@6600
     7
default: dvi
lcp@604
     8
lcp@604
     9
wenzelm@6600
    10
## dependencies
wenzelm@6600
    11
wenzelm@6600
    12
include ../Makefile.in
wenzelm@6600
    13
wenzelm@6600
    14
NAME = ref
wenzelm@6600
    15
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex \
wenzelm@6600
    16
	thm.tex theories.tex defining.tex syntax.tex substitution.tex \
wenzelm@6600
    17
	simplifier.tex classical.tex theory-syntax.tex \
wenzelm@9695
    18
	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
lcp@604
    19
wenzelm@6600
    20
dvi: $(NAME).dvi
wenzelm@2657
    21
wenzelm@6600
    22
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6600
    23
	$(LATEX) $(NAME)
wenzelm@6600
    24
	$(RAIL) $(NAME)
wenzelm@6600
    25
	$(BIBTEX) $(NAME)
wenzelm@6600
    26
	$(LATEX) $(NAME)
wenzelm@6600
    27
	$(LATEX) $(NAME)
wenzelm@6600
    28
	$(SEDINDEX) $(NAME)
wenzelm@6600
    29
	$(LATEX) $(NAME)
wenzelm@6618
    30
wenzelm@6618
    31
pdf: $(NAME).pdf
wenzelm@6618
    32
wenzelm@6618
    33
$(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6618
    34
	$(PDFLATEX) $(NAME)
wenzelm@6618
    35
	$(RAIL) $(NAME)
wenzelm@6618
    36
	$(BIBTEX) $(NAME)
wenzelm@6618
    37
	$(PDFLATEX) $(NAME)
wenzelm@6618
    38
	$(PDFLATEX) $(NAME)
wenzelm@6618
    39
	$(SEDINDEX) $(NAME)
wenzelm@6618
    40
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6618
    41
	$(PDFLATEX) $(NAME)