# HG changeset patch
# User lcp
# Date 779367698 -7200
# Node ID 62b44d488af6becffc986119e81cf7f1a1c4ff7d
# Parent  9cb1fa628dbbf24358426fcbd8efd8681b3957bb
New Makefile for Introduction

diff -r 9cb1fa628dbb -r 62b44d488af6 doc-src/Intro/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Intro/Makefile	Mon Sep 12 13:01:38 1994 +0200
@@ -0,0 +1,19 @@
+#  $Id$
+#########################################################################
+#									#
+#	Makefile for the report "Introduction to Isabelle"		#
+#									#
+#########################################################################
+
+
+FILES =  intro.tex foundations.tex getting.tex advanced.tex \
+	 ../iman.sty ../extra.sty
+
+intro.dvi.gz:   $(FILES) 
+	latex209 intro
+	bibtex intro
+	latex209 intro
+	latex209 intro
+	../sedindex intro
+	latex209 intro
+	gzip -f intro.dvi