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;
wenzelm@18537
     1
wenzelm@18537
     2
## targets
wenzelm@18537
     3
wenzelm@18537
     4
default: dvi
wenzelm@18537
     5
wenzelm@18537
     6
wenzelm@18537
     7
## dependencies
wenzelm@18537
     8
wenzelm@18537
     9
include ../Makefile.in
wenzelm@18537
    10
wenzelm@18537
    11
NAME = implementation
wenzelm@18537
    12
wenzelm@42511
    13
FILES = ../extra.sty ../iman.sty ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty	\
wenzelm@39827
    14
  ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty ../rail.sty	\
wenzelm@39827
    15
  ../railsetup.sty Thy/document/Integration.tex Thy/document/Isar.tex	\
wenzelm@30295
    16
  Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
wenzelm@30295
    17
  Thy/document/Prelim.tex Thy/document/Proof.tex			\
wenzelm@30295
    18
  Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
wenzelm@30295
    19
  style.sty
wenzelm@18537
    20
wenzelm@18537
    21
dvi: $(NAME).dvi
wenzelm@18537
    22
wenzelm@18537
    23
$(NAME).dvi: $(FILES) isabelle_isar.eps
wenzelm@18537
    24
	$(LATEX) $(NAME)
wenzelm@18537
    25
	$(BIBTEX) $(NAME)
wenzelm@18537
    26
	$(LATEX) $(NAME)
wenzelm@18537
    27
	$(LATEX) $(NAME)
wenzelm@18537
    28
	$(SEDINDEX) $(NAME)
wenzelm@18537
    29
	$(LATEX) $(NAME)
wenzelm@18537
    30
	$(LATEX) $(NAME)
wenzelm@18537
    31
wenzelm@18537
    32
pdf: $(NAME).pdf
wenzelm@18537
    33
wenzelm@18537
    34
$(NAME).pdf: $(FILES) isabelle_isar.pdf
wenzelm@18537
    35
	$(PDFLATEX) $(NAME)
wenzelm@18537
    36
	$(BIBTEX) $(NAME)
wenzelm@18537
    37
	$(PDFLATEX) $(NAME)
wenzelm@18537
    38
	$(PDFLATEX) $(NAME)
wenzelm@18537
    39
	$(SEDINDEX) $(NAME)
wenzelm@18537
    40
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@18537
    41
	$(PDFLATEX) $(NAME)
wenzelm@18537
    42
	$(PDFLATEX) $(NAME)