# HG changeset patch
# User wenzelm
# Date 1236335154 -3600
# Node ID 3d65318d17b73675dc7d19d83c661e4bed6198d0
# Parent  d6bffd97d8d56e1f3c3b25530f31dccc3721444a
more precise deps;

diff -r d6bffd97d8d5 -r 3d65318d17b7 doc-src/IsarImplementation/Makefile
--- a/doc-src/IsarImplementation/Makefile	Fri Mar 06 09:35:43 2009 +0100
+++ b/doc-src/IsarImplementation/Makefile	Fri Mar 06 11:25:54 2009 +0100
@@ -12,10 +12,11 @@
 
 FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty	\
   ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty		\
-  Thy/document/Integration.tex Thy/document/Local_Theory.tex		\
-  Thy/document/Logic.tex Thy/document/Prelim.tex			\
-  Thy/document/Proof.tex Thy/document/Syntax.tex			\
-  Thy/document/Tactic.tex implementation.tex style.sty
+  Thy/document/Integration.tex Thy/document/Isar.tex			\
+  Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
+  Thy/document/Prelim.tex Thy/document/Proof.tex			\
+  Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
+  style.sty
 
 dvi: $(NAME).dvi