1.1 --- a/doc-src/System/Makefile Wed May 05 18:26:10 1999 +0200
1.2 +++ b/doc-src/System/Makefile Wed May 05 18:35:41 1999 +0200
1.3 @@ -1,30 +1,25 @@
1.4 -# $Id$
1.5 -#########################################################################
1.6 -# #
1.7 -# Makefile for the report "The Isabelle System Manual" #
1.8 -# #
1.9 -#########################################################################
1.10 +#
1.11 +# $Id$
1.12 +#
1.13
1.14 +## targets
1.15
1.16 -FILES = system.tex \
1.17 - ../iman.sty ../extra.sty
1.18 +default: dvi
1.19 +dist: dvi
1.20
1.21 -system.dvi.gz: $(FILES)
1.22 - test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
1.23 - -rm system.dvi*
1.24 - latex system
1.25 - latex system
1.26 - ../sedindex system
1.27 - latex system
1.28 - gzip -f system.dvi
1.29
1.30 -dist: $(FILES)
1.31 - test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
1.32 - -rm system.dvi*
1.33 - latex system
1.34 - latex system
1.35 - ../sedindex system
1.36 - latex system
1.37 +## dependencies
1.38
1.39 -clean:
1.40 - @rm *.aux *.log *.toc *.idx
1.41 +include ../Makefile.in
1.42 +
1.43 +NAME = system
1.44 +FILES = system.tex ../iman.sty ../extra.sty
1.45 +
1.46 +dvi: $(NAME).dvi
1.47 +
1.48 +$(NAME).dvi: $(FILES) isabelle.eps
1.49 + touch $(NAME).ind
1.50 + $(LATEX) $(NAME)
1.51 + $(LATEX) $(NAME)
1.52 + $(SEDINDEX) $(NAME)
1.53 + $(LATEX) $(NAME)