author | wenzelm |
Mon, 25 May 1998 21:25:04 +0200 | |
changeset 4964 | bbe9065edf8a |
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