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;
     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/Generic.tex			\
    13   Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex		\
    14   Thy/document/ML_Tactic.tex Thy/document/Proof.tex			\
    15   Thy/document/Quick_Reference.tex Thy/document/Spec.tex		\
    16   Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex		\
    17   Thy/document/Introduction.tex Thy/document/Document_Preparation.tex	\
    18   Thy/document/Misc.tex Thy/document/Outer_Syntax.tex			\
    19   Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty	\
    20   ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../../lib/texinputs/isabelle.sty	\
    21   ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty ../manual.bib
    22 
    23 OUTPUT = syms.tex
    24 
    25 syms.tex: showsymbols ../../lib/texinputs/isabellesym.sty
    26 	@./showsymbols <../../lib/texinputs/isabellesym.sty >syms.tex
    27 
    28 
    29 dvi: $(NAME).dvi
    30 
    31 $(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex
    32 	$(LATEX) $(NAME)
    33 	$(RAIL) $(NAME)
    34 	$(BIBTEX) $(NAME)
    35 	$(LATEX) $(NAME)
    36 	$(LATEX) $(NAME)
    37 	$(SEDINDEX) $(NAME)
    38 	$(LATEX) $(NAME)
    39 
    40 pdf: $(NAME).pdf
    41 
    42 $(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex
    43 	$(PDFLATEX) $(NAME)
    44 	$(RAIL) $(NAME)
    45 	$(BIBTEX) $(NAME)
    46 	$(PDFLATEX) $(NAME)
    47 	$(PDFLATEX) $(NAME)
    48 	$(SEDINDEX) $(NAME)
    49 	$(FIXBOOKMARKS) $(NAME).out
    50 	$(PDFLATEX) $(NAME)