doc-src/Functions/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 30226 2f4684e2ea95
child 42637 381fdcab0f36
permissions -rw-r--r--
eliminated copies of isabelle style files;
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 
    10 ## dependencies
    11 
    12 include ../Makefile.in
    13 
    14 NAME = functions
    15 
    16 FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \
    17   style.sty ../iman.sty ../extra.sty ../isar.sty \
    18   ../../lib/texinputs/isabelle.sty ../../lib/texinputs/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)