doc-src/HOL/Makefile
author wenzelm
Mon Aug 28 13:52:38 2000 +0200 (2000-08-28)
changeset 9695 ec7d7f877712
parent 8828 5be2d1745c61
child 42518 57367832b81a
permissions -rw-r--r--
proper setup of iman.sty/extra.sty/ttbox.sty;
wenzelm@6594
     1
#
wenzelm@6594
     2
# $Id$
wenzelm@6594
     3
#
wenzelm@6594
     4
wenzelm@6594
     5
## targets
wenzelm@6594
     6
wenzelm@6594
     7
default: dvi
wenzelm@6580
     8
wenzelm@6580
     9
wenzelm@6594
    10
## dependencies
wenzelm@6594
    11
wenzelm@6594
    12
include ../Makefile.in
wenzelm@6594
    13
wenzelm@6594
    14
NAME = logics-HOL
wenzelm@6594
    15
FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
wenzelm@9695
    16
	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
wenzelm@6580
    17
wenzelm@6594
    18
dvi: $(NAME).dvi
wenzelm@6580
    19
wenzelm@6594
    20
$(NAME).dvi: $(FILES) isabelle_hol.eps
wenzelm@6594
    21
	$(LATEX) $(NAME)
wenzelm@6594
    22
	$(RAIL) $(NAME)
wenzelm@6594
    23
	$(BIBTEX) $(NAME)
wenzelm@6594
    24
	$(LATEX) $(NAME)
wenzelm@6594
    25
	$(LATEX) $(NAME)
wenzelm@6594
    26
	$(SEDINDEX) $(NAME)
wenzelm@6594
    27
	$(LATEX) $(NAME)
wenzelm@6620
    28
wenzelm@6620
    29
pdf: $(NAME).pdf
wenzelm@6620
    30
wenzelm@6620
    31
$(NAME).pdf: $(FILES) isabelle_hol.pdf
wenzelm@6620
    32
	$(PDFLATEX) $(NAME)
wenzelm@6620
    33
	$(RAIL) $(NAME)
wenzelm@6620
    34
	$(BIBTEX) $(NAME)
wenzelm@6620
    35
	$(PDFLATEX) $(NAME)
wenzelm@6620
    36
	$(PDFLATEX) $(NAME)
wenzelm@6620
    37
	$(SEDINDEX) $(NAME)
wenzelm@6620
    38
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6620
    39
	$(PDFLATEX) $(NAME)