| author | wenzelm |
| Wed, 14 May 1997 18:42:09 +0200 | |
| changeset 3187 | 8f8c88dcd728 |
| parent 3165 | 80818995eb76 |
| child 6629 | 6edc66a9d80b |
| permissions | -rw-r--r-- |
# $Id$ ######################################################################### # # # Makefile for the report "A Fixedpoint Approach ..." # # # ######################################################################### FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ind-defs.dvi.gz: $(FILES) -rm ind-defs.dvi.gz latex ind-defs bibtex ind-defs latex ind-defs latex ind-defs gzip -f ind-defs.dvi dist: $(FILES) -rm ind-defs.dvi* latex ind-defs latex ind-defs clean: @rm *.aux *.log *.toc