author | paulson |
Fri, 04 Dec 1998 10:40:06 +0100 | |
changeset 6014 | bfd4923b0957 |
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