1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/IsarRef/Makefile	Mon Jul 19 17:08:05 1999 +0200
     1.3 @@ -0,0 +1,43 @@
     1.4 +#
     1.5 +# $Id$
     1.6 +#
     1.7 +
     1.8 +## targets
     1.9 +
    1.10 +default: dvi
    1.11 +
    1.12 +
    1.13 +## dependencies
    1.14 +
    1.15 +include ../Makefile.in
    1.16 +
    1.17 +NAME = isar-ref
    1.18 +
    1.19 +FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \
    1.20 +	simplifier.tex classical.tex hol.tex \
    1.21 +	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
    1.22 +
    1.23 +dvi: $(NAME).dvi
    1.24 +
    1.25 +$(NAME).dvi: $(FILES) isabelle_isar.eps
    1.26 +	touch $(NAME).ind
    1.27 +	$(LATEX) $(NAME)
    1.28 +	$(RAIL) $(NAME)
    1.29 +	$(BIBTEX) $(NAME)
    1.30 +	$(LATEX) $(NAME)
    1.31 +	$(LATEX) $(NAME)
    1.32 +	$(SEDINDEX) $(NAME)
    1.33 +	$(LATEX) $(NAME)
    1.34 +
    1.35 +pdf: $(NAME).pdf
    1.36 +
    1.37 +$(NAME).pdf: $(FILES) isabelle_isar.pdf
    1.38 +	touch $(NAME).ind
    1.39 +	$(PDFLATEX) $(NAME)
    1.40 +	$(RAIL) $(NAME)
    1.41 +	$(BIBTEX) $(NAME)
    1.42 +	$(PDFLATEX) $(NAME)
    1.43 +	$(PDFLATEX) $(NAME)
    1.44 +	$(SEDINDEX) $(NAME)
    1.45 +	$(FIXBOOKMARKS) $(NAME).out
    1.46 +	$(PDFLATEX) $(NAME)