author | paulson |
Tue, 18 May 1999 12:34:42 +0200 | |
changeset 6668 | fb098775306c |
parent 6629 | 6edc66a9d80b |
child 8828 | 5be2d1745c61 |
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 ../manual.bib
18 dvi: $(NAME).dvi
20 $(NAME).dvi: $(FILES) isabelle_hol.eps
21 touch $(NAME).ind
22 $(LATEX) $(NAME)
23 $(RAIL) $(NAME)
24 $(BIBTEX) $(NAME)
25 $(LATEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(SEDINDEX) $(NAME)
28 $(LATEX) $(NAME)
30 pdf: $(NAME).pdf
32 $(NAME).pdf: $(FILES) isabelle_hol.pdf
33 touch $(NAME).ind
34 $(PDFLATEX) $(NAME)
35 $(RAIL) $(NAME)
36 $(BIBTEX) $(NAME)
37 $(PDFLATEX) $(NAME)
38 $(PDFLATEX) $(NAME)
39 $(SEDINDEX) $(NAME)
40 $(FIXBOOKMARKS) $(NAME).out
41 $(PDFLATEX) $(NAME)