doc-src/IsarImplementation/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 42510 b9c106763325
child 42632 ebec0c1a5984
permissions -rw-r--r--
eliminated copies of isabelle style files;
     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 ../../lib/texinputs/isabellesym.sty	\
    14   ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty ../rail.sty	\
    15   ../railsetup.sty Thy/document/Integration.tex Thy/document/Isar.tex	\
    16   Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
    17   Thy/document/Prelim.tex Thy/document/Proof.tex			\
    18   Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
    19   style.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 	$(SEDINDEX) $(NAME)
    29 	$(LATEX) $(NAME)
    30 	$(LATEX) $(NAME)
    31 
    32 pdf: $(NAME).pdf
    33 
    34 $(NAME).pdf: $(FILES) isabelle_isar.pdf
    35 	$(PDFLATEX) $(NAME)
    36 	$(BIBTEX) $(NAME)
    37 	$(PDFLATEX) $(NAME)
    38 	$(PDFLATEX) $(NAME)
    39 	$(SEDINDEX) $(NAME)
    40 	$(FIXBOOKMARKS) $(NAME).out
    41 	$(PDFLATEX) $(NAME)
    42 	$(PDFLATEX) $(NAME)