doc-src/System/Makefile
author wenzelm
Mon Aug 16 14:22:20 1999 +0200 (1999-08-16)
changeset 7207 ad69aa13ddf6
parent 6629 6edc66a9d80b
child 8828 5be2d1745c61
permissions -rw-r--r--
bib;
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@6601
    15
FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
wenzelm@7207
    16
	../iman.sty ../extra.sty ../manual.bib
wenzelm@3170
    17
wenzelm@6600
    18
dvi: $(NAME).dvi
wenzelm@3170
    19
wenzelm@6600
    20
$(NAME).dvi: $(FILES) isabelle.eps
wenzelm@6600
    21
	touch $(NAME).ind
wenzelm@6600
    22
	$(LATEX) $(NAME)
wenzelm@7207
    23
	$(BIBTEX) $(NAME)
wenzelm@7207
    24
	$(LATEX) $(NAME)
wenzelm@6600
    25
	$(LATEX) $(NAME)
wenzelm@6600
    26
	$(SEDINDEX) $(NAME)
wenzelm@6600
    27
	$(LATEX) $(NAME)
wenzelm@6623
    28
wenzelm@6623
    29
pdf: $(NAME).pdf
wenzelm@6623
    30
wenzelm@6623
    31
$(NAME).pdf: $(FILES) isabelle.pdf
wenzelm@6623
    32
	touch $(NAME).ind
wenzelm@6623
    33
	$(PDFLATEX) $(NAME)
wenzelm@7207
    34
	$(BIBTEX) $(NAME)
wenzelm@7207
    35
	$(PDFLATEX) $(NAME)
wenzelm@6623
    36
	$(PDFLATEX) $(NAME)
wenzelm@6623
    37
	$(SEDINDEX) $(NAME)
wenzelm@6623
    38
	$(PDFLATEX) $(NAME)