author | wenzelm |
Wed, 05 May 1999 18:08:01 +0200 | |
changeset 6594 | fe2f5024f89e |
parent 6581 | 27d6e5d6a4a6 |
child 6620 | fc991461c7b9 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
8 dist: dvi
11 ## dependencies
13 include ../Makefile.in
15 NAME = logics-HOL
16 FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
17 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
19 dvi: $(NAME).dvi
21 $(NAME).dvi: $(FILES) isabelle_hol.eps
22 touch $(NAME).ind
23 $(LATEX) $(NAME)
24 $(RAIL) $(NAME)
25 $(BIBTEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(LATEX) $(NAME)
28 $(SEDINDEX) $(NAME)
29 $(LATEX) $(NAME)