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;
wenzelm@6600
     1
#
wenzelm@6600
     2
# $Id$
wenzelm@6600
     3
#
wenzelm@6600
     4
wenzelm@6600
     5
## targets
wenzelm@6600
     6
wenzelm@6600
     7
default: dvi
wenzelm@3170
     8
wenzelm@3170
     9
wenzelm@6600
    10
## dependencies
wenzelm@6600
    11
wenzelm@6600
    12
include ../Makefile.in
wenzelm@6600
    13
wenzelm@6600
    14
NAME = system
wenzelm@12464
    15
FILES = system.tex basics.tex misc.tex present.tex symbols.tex \
wenzelm@9695
    16
	../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
wenzelm@3170
    17
wenzelm@10604
    18
OUTPUT = syms.tex
wenzelm@10604
    19
wenzelm@10580
    20
syms.tex: showsymbols ../../Distribution/lib/texinputs/isabellesym.sty
wenzelm@10580
    21
	@./showsymbols <../../Distribution/lib/texinputs/isabellesym.sty >syms.tex
wenzelm@10580
    22
wenzelm@6600
    23
dvi: $(NAME).dvi
wenzelm@3170
    24
wenzelm@10580
    25
$(NAME).dvi: $(FILES) isabelle.eps syms.tex
wenzelm@6600
    26
	$(LATEX) $(NAME)
wenzelm@7207
    27
	$(BIBTEX) $(NAME)
wenzelm@7207
    28
	$(LATEX) $(NAME)
wenzelm@6600
    29
	$(LATEX) $(NAME)
wenzelm@6600
    30
	$(SEDINDEX) $(NAME)
wenzelm@6600
    31
	$(LATEX) $(NAME)
wenzelm@6623
    32
wenzelm@6623
    33
pdf: $(NAME).pdf
wenzelm@6623
    34
wenzelm@10580
    35
$(NAME).pdf: $(FILES) isabelle.pdf syms.tex
wenzelm@6623
    36
	$(PDFLATEX) $(NAME)
wenzelm@7207
    37
	$(BIBTEX) $(NAME)
wenzelm@7207
    38
	$(PDFLATEX) $(NAME)
wenzelm@6623
    39
	$(PDFLATEX) $(NAME)
wenzelm@6623
    40
	$(SEDINDEX) $(NAME)
wenzelm@6623
    41
	$(PDFLATEX) $(NAME)