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";
     1 ## targets
     2 
     3 default: dvi
     4 
     5 
     6 ## dependencies
     7 
     8 include ../Makefile.in
     9 
    10 NAME = isar-ref
    11 
    12 FILES = isar-ref.tex style.sty Thy/document/Framework.tex		\
    13   Thy/document/Generic.tex Thy/document/HOLCF_Specific.tex		\
    14   Thy/document/HOL_Specific.tex Thy/document/ML_Tactic.tex		\
    15   Thy/document/Proof.tex Thy/document/Quick_Reference.tex		\
    16   Thy/document/Spec.tex Thy/document/Synopsis.tex			\
    17   Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
    18   Thy/document/Preface.tex Thy/document/Document_Preparation.tex	\
    19   Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
    20   Thy/document/Symbols.tex ../isar.sty ../proof.sty ../iman.sty		\
    21   ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty		\
    22   ../../lib/texinputs/isabellesym.sty					\
    23   ../../lib/texinputs/railsetup.sty ../pdfsetup.sty ../manual.bib
    24 
    25 OUTPUT = syms.tex
    26 
    27 syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
    28 	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
    29 
    30 
    31 dvi: $(NAME).dvi
    32 
    33 $(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
    34 	$(LATEX) $(NAME)
    35 	$(BIBTEX) $(NAME)
    36 	$(LATEX) $(NAME)
    37 	$(LATEX) $(NAME)
    38 	$(SEDINDEX) $(NAME)
    39 	$(LATEX) $(NAME)
    40 
    41 pdf: $(NAME).pdf
    42 
    43 $(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
    44 	$(PDFLATEX) $(NAME)
    45 	$(BIBTEX) $(NAME)
    46 	$(PDFLATEX) $(NAME)
    47 	$(PDFLATEX) $(NAME)
    48 	$(SEDINDEX) $(NAME)
    49 	$(FIXBOOKMARKS) $(NAME).out
    50 	$(PDFLATEX) $(NAME)