doc-src/AxClass/Makefile
changeset 3167 4e1eae442821
child 6599 dc5bf3f40ad3
--- /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