From 98635700757169fd1a6e3bcc9567948acb8633ed Mon Sep 17 00:00:00 2001
From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Tue, 5 Oct 2004 15:46:59 +0000
Subject: [PATCH] Added comment about this DTD's public location --flo

[r4043]
---
 etc/effect.dtd | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/etc/effect.dtd b/etc/effect.dtd
index 4dc34e95e..e009a118f 100644
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -1,5 +1,8 @@
 <!-- effect.dtd - DTD to model effects of external procedures inside firm. -->
 <!-- $Id$ -->
+
+<!-- upload this file to http://www/~firm/ after making changes -->
+
 <!-- content model for all nodes -->
 <!-- allow nodes/entity accesses to reference other nodes/an entity -->
 <!ENTITY	% firm.id			"id ID #REQUIRED">
@@ -77,6 +80,9 @@
 <!ELEMENT	return		(valref?)>
 
 <!-- $Log$
+<!-- Revision 1.2  2004/10/05 15:46:59  liekweg
+<!-- Added comment about this DTD's public location --flo
+<!--
 <!-- Revision 1.1  2004/10/05 14:34:13  liekweg
 <!-- Added DTD for external effects description --flo
 <!-- -->
-- 
2.20.1