doc-src/IsarRef/Makefile
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 42917 ba23e83b0868
child 48956 d54a3d39ba85
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
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@42916
    12
FILES = isar-ref.tex style.sty Thy/document/Framework.tex		\
wenzelm@42916
    13
  Thy/document/Generic.tex Thy/document/HOLCF_Specific.tex		\
wenzelm@42916
    14
  Thy/document/HOL_Specific.tex Thy/document/ML_Tactic.tex		\
wenzelm@42916
    15
  Thy/document/Proof.tex Thy/document/Quick_Reference.tex		\
wenzelm@42917
    16
  Thy/document/Spec.tex Thy/document/Synopsis.tex			\
wenzelm@42917
    17
  Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
wenzelm@42917
    18
  Thy/document/Preface.tex Thy/document/Document_Preparation.tex	\
wenzelm@42917
    19
  Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
wenzelm@42917
    20
  Thy/document/Symbols.tex ../isar.sty ../proof.sty ../iman.sty		\
wenzelm@42917
    21
  ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty		\
wenzelm@42917
    22
  ../../lib/texinputs/isabellesym.sty					\
wenzelm@42632
    23
  ../../lib/texinputs/railsetup.sty ../pdfsetup.sty ../manual.bib
wenzelm@28838
    24
wenzelm@28838
    25
OUTPUT = syms.tex
wenzelm@28838
    26
wenzelm@42511
    27
syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
wenzelm@42511
    28
	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
wenzelm@28838
    29
wenzelm@7046
    30
wenzelm@7046
    31
dvi: $(NAME).dvi
wenzelm@7046
    32
wenzelm@28838
    33
$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
wenzelm@7046
    34
	$(LATEX) $(NAME)
wenzelm@7046
    35
	$(BIBTEX) $(NAME)
wenzelm@7046
    36
	$(LATEX) $(NAME)
wenzelm@7046
    37
	$(LATEX) $(NAME)
wenzelm@7046
    38
	$(SEDINDEX) $(NAME)
wenzelm@7046
    39
	$(LATEX) $(NAME)
wenzelm@7046
    40
wenzelm@7046
    41
pdf: $(NAME).pdf
wenzelm@7046
    42
wenzelm@28838
    43
$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
wenzelm@7046
    44
	$(PDFLATEX) $(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)