doc-src/IsarAdvanced/Classes/Makefile
author wenzelm
Sat Oct 04 16:05:09 2008 +0200 (2008-10-04 ago)
changeset 28500 4b79e5d3d0aa
parent 26911 871cc7f11034
permissions -rw-r--r--
replaced ISATOOL by ISABELLE_TOOL;
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 
    10 ## dependencies
    11 
    12 include ../Makefile.in
    13 
    14 NAME = classes
    15 
    16 FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
    17   style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
    18   ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \
    19   ../../manual.bib ../../proof.sty
    20 
    21 dvi: $(NAME).dvi
    22 
    23 $(NAME).dvi: $(FILES) isabelle_isar.eps
    24 	$(LATEX) $(NAME)
    25 	$(BIBTEX) $(NAME)
    26 	$(LATEX) $(NAME)
    27 	$(LATEX) $(NAME)
    28 
    29 pdf: $(NAME).pdf
    30 
    31 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    32 	$(PDFLATEX) $(NAME)
    33 	$(BIBTEX) $(NAME)
    34 	$(PDFLATEX) $(NAME)
    35 	$(PDFLATEX) $(NAME)
    36 	$(FIXBOOKMARKS) $(NAME).out
    37 	$(PDFLATEX) $(NAME)
    38 	$(PDFLATEX) $(NAME)