doc-src/System/Makefile
author wenzelm
Tue Dec 11 15:36:28 2001 +0100 (2001-12-11)
changeset 12464 f9d3c92eae4d
parent 10604 9bb2e34df0cd
child 27631 b9ec32fb5f63
permissions -rw-r--r--
updated;
     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 basics.tex misc.tex present.tex symbols.tex \
    16 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
    17 
    18 OUTPUT = syms.tex
    19 
    20 syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
    21 	@./showsymbols <../../Distribution/lib/texinputs/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)