author | wenzelm |
Fri, 07 Mar 1997 15:30:23 +0100 | |
changeset 2768 | bc6d915b8019 |
parent 1053 | a19fbe807f91 |
permissions | -rw-r--r-- |
# $Id$ ######################################################################### # # # Makefile for the report "A Fixedpoint Approach ..." # # # ######################################################################### FILES = ind-defs.tex iman.sty extra.sty ind-defs.dvi.gz: $(FILES) -rm ind-defs.dvi.gz latex209 ind-defs bibtex ind-defs latex209 ind-defs latex209 ind-defs gzip -f ind-defs.dvi