author | paulson |
Fri, 27 Nov 1998 13:13:22 +0100 | |
changeset 5980 | 2e9314c07146 |
parent 3167 | 4e1eae442821 |
child 6599 | dc5bf3f40ad3 |
permissions | -rw-r--r-- |
# $Id$ ######################################################################### # # # Makefile for the report "Introduction to Isabelle" # # # ######################################################################### FILES = axclass.tex style.tex axclass.dvi.gz: $(FILES) -rm axclass.dvi* latex axclass latex axclass gzip -f axclass.dvi dist: $(FILES) -rm axclass.dvi* latex axclass latex axclass clean: @rm *.aux *.log