doc-src/System/Makefile
author wenzelm
Mon Dec 04 23:16:25 2000 +0100 (2000-12-04)
changeset 10580 930ac2bfa637
parent 9695 ec7d7f877712
child 10604 9bb2e34df0cd
permissions -rw-r--r--
include table of Isabelle standard symbols;
     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 fonts.tex present.tex symbols.tex \
    16 	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
    17 
    18 syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
    19 	@./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex
    20 
    21 dvi: $(NAME).dvi
    22 
    23 $(NAME).dvi: $(FILES) isabelle.eps syms.tex
    24 	$(LATEX) $(NAME)
    25 	$(BIBTEX) $(NAME)
    26 	$(LATEX) $(NAME)
    27 	$(LATEX) $(NAME)
    28 	$(SEDINDEX) $(NAME)
    29 	$(LATEX) $(NAME)
    30 
    31 pdf: $(NAME).pdf
    32 
    33 $(NAME).pdf: $(FILES) isabelle.pdf syms.tex
    34 	$(PDFLATEX) $(NAME)
    35 	$(BIBTEX) $(NAME)
    36 	$(PDFLATEX) $(NAME)
    37 	$(PDFLATEX) $(NAME)
    38 	$(SEDINDEX) $(NAME)
    39 	$(PDFLATEX) $(NAME)