diff -r dc5bf3f40ad3 -r 5a94bd71cc41 doc-src/System/Makefile
--- a/doc-src/System/Makefile	Wed May 05 18:26:10 1999 +0200
+++ b/doc-src/System/Makefile	Wed May 05 18:35:41 1999 +0200
@@ -1,30 +1,25 @@
-#  $Id$
-#########################################################################
-#									#
-#	Makefile for the report "The Isabelle System Manual"		#
-#									#
-#########################################################################
+#
+# $Id$
+#
+
+## targets
+
+default: dvi
+dist: dvi
 
 
-FILES =  system.tex \
-	 ../iman.sty ../extra.sty
+## dependencies
+
+include ../Makefile.in
+
+NAME = system
+FILES = system.tex ../iman.sty ../extra.sty
 
-system.dvi.gz:   $(FILES)
-	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-	-rm system.dvi*
-	latex system
-	latex system
-	../sedindex system
-	latex system
-	gzip -f system.dvi
+dvi: $(NAME).dvi
 
-dist:   $(FILES)
-	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
-	-rm system.dvi*
-	latex system
-	latex system
-	../sedindex system
-	latex system
-
-clean:
-	@rm *.aux *.log *.toc *.idx
+$(NAME).dvi: $(FILES) isabelle.eps
+	touch $(NAME).ind
+	$(LATEX) $(NAME)
+	$(LATEX) $(NAME)
+	$(SEDINDEX) $(NAME)
+	$(LATEX) $(NAME)