diff -r c1d7791f0314 -r dc5bf3f40ad3 doc-src/AxClass/Makefile
--- a/doc-src/AxClass/Makefile	Wed May 05 18:24:57 1999 +0200
+++ b/doc-src/AxClass/Makefile	Wed May 05 18:26:10 1999 +0200
@@ -1,23 +1,22 @@
-#  $Id$
-#########################################################################
-#									#
-#	Makefile for the report "Introduction to Isabelle"		#
-#									#
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
 
 
-FILES =  axclass.tex style.tex
+## dependencies
 
-axclass.dvi.gz:   $(FILES)
-	-rm axclass.dvi*
-	latex axclass
-	latex axclass
-	gzip -f axclass.dvi
+include ../Makefile.in
 
-dist:   $(FILES)
-	-rm axclass.dvi*
-	latex axclass
-	latex axclass
+NAME = axclass
+FILES = axclass.tex style.tex
 
-clean:
-	@rm *.aux *.log
+dvi: $(NAME).dvi
+
+$(NAME).dvi: $(FILES)
+	$(LATEX) $(NAME)
+	$(LATEX) $(NAME)