# HG changeset patch
# User lcp
# Date 779368807 -7200
# Node ID 4da7bd70afe24ed2de7c02a3abf67f0aad390b77
# Parent  df621b2535aae9fa56a80c976f2dee393678bfb7
New Makefile for Logics Manual

diff -r df621b2535aa -r 4da7bd70afe2 doc-src/Logics/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Logics/Makefile	Mon Sep 12 13:20:07 1994 +0200
@@ -0,0 +1,19 @@
+#  $Id$
+#########################################################################
+#									#
+#	Makefile for the report "Isabelle's Object-Logics"		#
+#									#
+#########################################################################
+
+
+FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
+	 ../iman.sty ../extra.sty
+
+logics.dvi.gz:   $(FILES) 
+	latex209 logics
+	bibtex logics
+	latex209 logics
+	latex209 logics
+	../sedindex logics
+	latex209 logics
+	gzip -f logics.dvi