doc-src/System/Makefile
changeset 6600 5a94bd71cc41
parent 5548 5cd3396802f5
child 6601 51eed1aefccd
     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 +default: dvi
    1.17 +dist: dvi
    1.18  
    1.19  
    1.20 -FILES =  system.tex \
    1.21 -	 ../iman.sty ../extra.sty
    1.22 +## dependencies
    1.23 +
    1.24 +include ../Makefile.in
    1.25 +
    1.26 +NAME = system
    1.27 +FILES = system.tex ../iman.sty ../extra.sty
    1.28  
    1.29 -system.dvi.gz:   $(FILES)
    1.30 -	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.31 -	-rm system.dvi*
    1.32 -	latex system
    1.33 -	latex system
    1.34 -	../sedindex system
    1.35 -	latex system
    1.36 -	gzip -f system.dvi
    1.37 +dvi: $(NAME).dvi
    1.38  
    1.39 -dist:   $(FILES)
    1.40 -	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
    1.41 -	-rm system.dvi*
    1.42 -	latex system
    1.43 -	latex system
    1.44 -	../sedindex system
    1.45 -	latex system
    1.46 -
    1.47 -clean:
    1.48 -	@rm *.aux *.log *.toc *.idx
    1.49 +$(NAME).dvi: $(FILES) isabelle.eps
    1.50 +	touch $(NAME).ind
    1.51 +	$(LATEX) $(NAME)
    1.52 +	$(LATEX) $(NAME)
    1.53 +	$(SEDINDEX) $(NAME)
    1.54 +	$(LATEX) $(NAME)