--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/AxClass/Makefile Mon May 12 17:53:36 1997 +0200
@@ -0,0 +1,23 @@
+# $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