| author | wenzelm |
| Sun, 01 May 2011 17:55:29 +0200 | |
| changeset 43389 | 57367832b81a |
| parent 9695 | ec7d7f877712 |
| child 43499 | 50f257ea2aba |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = logics-HOL
15 FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
18 rail:
19 $(RAIL) $(NAME)
21 dvi: $(NAME).dvi
23 $(NAME).dvi: $(FILES) isabelle_hol.eps
24 $(LATEX) $(NAME)
25 $(BIBTEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(LATEX) $(NAME)
28 $(SEDINDEX) $(NAME)
29 $(LATEX) $(NAME)
31 pdf: $(NAME).pdf
33 $(NAME).pdf: $(FILES) isabelle_hol.pdf
34 $(PDFLATEX) $(NAME)
35 $(BIBTEX) $(NAME)
36 $(PDFLATEX) $(NAME)
37 $(PDFLATEX) $(NAME)
38 $(SEDINDEX) $(NAME)
39 $(FIXBOOKMARKS) $(NAME).out
40 $(PDFLATEX) $(NAME)