1.1 --- a/doc-src/Inductive/Makefile	Wed May 12 09:44:44 1999 +0200
     1.2 +++ b/doc-src/Inductive/Makefile	Wed May 12 11:01:01 1999 +0200
     1.3 @@ -1,29 +1,33 @@
     1.4 -#  $Id$
     1.5 -#########################################################################
     1.6 -#									#
     1.7 -#	Makefile for the report "A Fixedpoint Approach ..."		#
     1.8 -#									#
     1.9 -#########################################################################
    1.10 +#
    1.11 +# $Id$
    1.12 +#
    1.13  
    1.14 -dvi: dist
    1.15 +## targets
    1.16  
    1.17 -pdf:
    1.18 +default: dvi
    1.19  
    1.20 -FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
    1.21  
    1.22 -ind-defs.dvi.gz:   $(FILES) 
    1.23 -	-rm ind-defs.dvi.gz
    1.24 -	latex ind-defs
    1.25 -	bibtex ind-defs
    1.26 -	latex ind-defs
    1.27 -	latex ind-defs
    1.28 -	gzip -f ind-defs.dvi
    1.29 +## dependencies
    1.30  
    1.31 -dist:   $(FILES) 
    1.32 -	-rm ind-defs.dvi*
    1.33 -	latex ind-defs
    1.34 -	latex ind-defs
    1.35 +include ../Makefile.in
    1.36  
    1.37 -clean:
    1.38 -	@rm *.aux *.log *.toc
    1.39 +NAME = ind-defs
    1.40 +FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
    1.41  
    1.42 +dvi: $(NAME).dvi
    1.43 +
    1.44 +$(NAME).dvi: $(FILES)
    1.45 +	$(LATEX) $(NAME)
    1.46 +	$(BIBTEX) $(NAME)
    1.47 +	$(LATEX) $(NAME)
    1.48 +	$(LATEX) $(NAME)
    1.49 +
    1.50 +pdf: $(NAME).pdf
    1.51 +
    1.52 +$(NAME).pdf: $(FILES)
    1.53 +	$(PDFLATEX) $(NAME)
    1.54 +	$(BIBTEX) $(NAME)
    1.55 +	$(PDFLATEX) $(NAME)
    1.56 +	$(PDFLATEX) $(NAME)
    1.57 +	$(FIXBOOKMARKS) $(NAME).out
    1.58 +	$(PDFLATEX) $(NAME)