doc-src/System/Makefile
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 28226 97c530dc8aca
child 28838 d5db6dfcb34a
permissions -rw-r--r--
rewrite_proof: simplified simprocs (no name required);
     1 #
     2 # $Id$
     3 #
     4 
     5 ## targets
     6 
     7 default: dvi
     8 
     9 
    10 ## dependencies
    11 
    12 include ../Makefile.in
    13 
    14 NAME = system
    15 FILES = system.tex Thy/document/Basics.tex Thy/document/Misc.tex	\
    16 	Thy/document/Presentation.tex Thy/document/Symbols.tex		\
    17 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
    18 OUTPUT = syms.tex
    19 
    20 syms.tex: showsymbols ../isabellesym.sty
    21 	@./showsymbols <../isabellesym.sty >syms.tex
    22 
    23 dvi: $(NAME).dvi
    24 
    25 $(NAME).dvi: $(FILES) isabelle.eps syms.tex
    26 	$(LATEX) $(NAME)
    27 	$(BIBTEX) $(NAME)
    28 	$(LATEX) $(NAME)
    29 	$(LATEX) $(NAME)
    30 	$(SEDINDEX) $(NAME)
    31 	$(LATEX) $(NAME)
    32 
    33 pdf: $(NAME).pdf
    34 
    35 $(NAME).pdf: $(FILES) isabelle.pdf syms.tex
    36 	$(PDFLATEX) $(NAME)
    37 	$(BIBTEX) $(NAME)
    38 	$(PDFLATEX) $(NAME)
    39 	$(PDFLATEX) $(NAME)
    40 	$(SEDINDEX) $(NAME)
    41 	$(PDFLATEX) $(NAME)