doc-src/IsarImplementation/Makefile
author wenzelm
Fri Aug 12 22:10:49 2011 +0200 (2011-08-12)
changeset 44163 32e0c150c010
parent 42632 ebec0c1a5984
child 46295 2548a85b0e02
permissions -rw-r--r--
normalized theory dependencies wrt. file_store;
     1 
     2 ## targets
     3 
     4 default: dvi
     5 
     6 
     7 ## dependencies
     8 
     9 include ../Makefile.in
    10 
    11 NAME = implementation
    12 
    13 FILES = ../extra.sty ../iman.sty ../../lib/texinputs/isabelle.sty	\
    14   ../../lib/texinputs/isabellesym.sty					\
    15   ../../lib/texinputs/railsetup.sty ../isar.sty ../manual.bib		\
    16   ../pdfsetup.sty ../proof.sty Thy/document/Integration.tex		\
    17   Thy/document/Isar.tex Thy/document/Local_Theory.tex			\
    18   Thy/document/Logic.tex Thy/document/Prelim.tex			\
    19   Thy/document/Proof.tex Thy/document/Syntax.tex			\
    20   Thy/document/Tactic.tex implementation.tex style.sty
    21 
    22 dvi: $(NAME).dvi
    23 
    24 $(NAME).dvi: $(FILES) isabelle_isar.eps
    25 	$(LATEX) $(NAME)
    26 	$(BIBTEX) $(NAME)
    27 	$(LATEX) $(NAME)
    28 	$(LATEX) $(NAME)
    29 	$(SEDINDEX) $(NAME)
    30 	$(LATEX) $(NAME)
    31 	$(LATEX) $(NAME)
    32 
    33 pdf: $(NAME).pdf
    34 
    35 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    36 	$(PDFLATEX) $(NAME)
    37 	$(BIBTEX) $(NAME)
    38 	$(PDFLATEX) $(NAME)
    39 	$(PDFLATEX) $(NAME)
    40 	$(SEDINDEX) $(NAME)
    41 	$(FIXBOOKMARKS) $(NAME).out
    42 	$(PDFLATEX) $(NAME)
    43 	$(PDFLATEX) $(NAME)