ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / publications / others / publication.dtd

diff --git a/helm/mowgli/home/xml/publications/others/publication.dtd b/helm/mowgli/home/xml/publications/others/publication.dtd
index 7b131f501806c039b339e6c85c112cca624b6700..87efc810165be3a2224822537bc365a86708284f 100644 (file)
--- a/helm/mowgli/home/xml/publications/others/publication.dtd
+++ b/helm/mowgli/home/xml/publications/others/publication.dtd
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 
-<!ELEMENT publication (title,author*,where)>
+<!ELEMENT publication (title,author*,where,html?)>
 <!ELEMENT title (#PCDATA)>
 
 <!-- name,surname must be provided iff the "file" attribute is not provided -->
@@ -11,3 +11,7 @@
 <!ELEMENT where (#PCDATA)>
 <!ELEMENT name (#PCDATA)>
 <!ELEMENT surname (#PCDATA)>
+
+<!ELEMENT html EMPTY>
+<!ATTLIST html
+          file CDATA #REQUIRED>