doc-src/IsarImplementation/Makefile
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 18537 2681f9e34390
child 26905 5cde053f16b8
permissions -rw-r--r--
added handling for explicit classrel witnesses
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 
    10 ## dependencies
    11 
    12 include ../Makefile.in
    13 
    14 MAKEGLOSSARY = ./makeglossary
    15 
    16 NAME = implementation
    17 
    18 FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
    19   Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
    20   Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
    21   ../manual.bib ../proof.sty
    22 
    23 dvi: $(NAME).dvi
    24 
    25 $(NAME).dvi: $(FILES) isabelle_isar.eps
    26 	$(LATEX) $(NAME)
    27 	$(BIBTEX) $(NAME)
    28 	$(LATEX) $(NAME)
    29 	$(LATEX) $(NAME)
    30 	$(MAKEGLOSSARY) $(NAME)
    31 	$(SEDINDEX) $(NAME)
    32 	$(LATEX) $(NAME)
    33 	$(LATEX) $(NAME)
    34 
    35 pdf: $(NAME).pdf
    36 
    37 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    38 	$(PDFLATEX) $(NAME)
    39 	$(BIBTEX) $(NAME)
    40 	$(PDFLATEX) $(NAME)
    41 	$(PDFLATEX) $(NAME)
    42 	$(MAKEGLOSSARY) $(NAME)
    43 	$(SEDINDEX) $(NAME)
    44 	$(FIXBOOKMARKS) $(NAME).out
    45 	$(PDFLATEX) $(NAME)
    46 	$(PDFLATEX) $(NAME)