doc-src/IsarRef/Makefile
author wenzelm
Sun May 01 16:36:34 2011 +0200 (2011-05-01)
changeset 42511 bf89455ccf9d
parent 30168 9a20be5be90b
child 42618 a38e0f15d765
permissions -rw-r--r--
eliminated copies of isabelle style files;
wenzelm@7046
     1
## targets
wenzelm@7046
     2
wenzelm@7046
     3
default: dvi
wenzelm@7046
     4
wenzelm@7046
     5
wenzelm@7046
     6
## dependencies
wenzelm@7046
     7
wenzelm@7046
     8
include ../Makefile.in
wenzelm@7046
     9
wenzelm@7046
    10
NAME = isar-ref
wenzelm@7046
    11
wenzelm@27048
    12
FILES = isar-ref.tex style.sty Thy/document/Generic.tex			\
wenzelm@26906
    13
  Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex		\
wenzelm@26906
    14
  Thy/document/ML_Tactic.tex Thy/document/Proof.tex			\
wenzelm@26906
    15
  Thy/document/Quick_Reference.tex Thy/document/Spec.tex		\
wenzelm@28762
    16
  Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
wenzelm@28762
    17
  Thy/document/Introduction.tex Thy/document/Document_Preparation.tex	\
wenzelm@28838
    18
  Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
wenzelm@28838
    19
  Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty	\
wenzelm@42511
    20
  ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty	\
wenzelm@42511
    21
  ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
wenzelm@28838
    22
wenzelm@28838
    23
OUTPUT = syms.tex
wenzelm@28838
    24
wenzelm@42511
    25
syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
wenzelm@42511
    26
	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
wenzelm@28838
    27
wenzelm@7046
    28
wenzelm@7046
    29
dvi: $(NAME).dvi
wenzelm@7046
    30
wenzelm@28838
    31
$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
wenzelm@7046
    32
	$(LATEX) $(NAME)
wenzelm@7046
    33
	$(RAIL) $(NAME)
wenzelm@7046
    34
	$(BIBTEX) $(NAME)
wenzelm@7046
    35
	$(LATEX) $(NAME)
wenzelm@7046
    36
	$(LATEX) $(NAME)
wenzelm@7046
    37
	$(SEDINDEX) $(NAME)
wenzelm@7046
    38
	$(LATEX) $(NAME)
wenzelm@7046
    39
wenzelm@7046
    40
pdf: $(NAME).pdf
wenzelm@7046
    41
wenzelm@28838
    42
$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
wenzelm@7046
    43
	$(PDFLATEX) $(NAME)
wenzelm@7046
    44
	$(RAIL) $(NAME)
wenzelm@7046
    45
	$(BIBTEX) $(NAME)
wenzelm@7046
    46
	$(PDFLATEX) $(NAME)
wenzelm@7046
    47
	$(PDFLATEX) $(NAME)
wenzelm@7046
    48
	$(SEDINDEX) $(NAME)
wenzelm@7046
    49
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@7046
    50
	$(PDFLATEX) $(NAME)