X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpublications%2Fothers%2Fpublication.dtd;h=87efc810165be3a2224822537bc365a86708284f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=7b131f501806c039b339e6c85c112cca624b6700;hpb=a9268f8d853c99b4ae22dd7ff998f2ad9a89129b;p=helm.git

diff --git a/helm/mowgli/home/xml/publications/others/publication.dtd b/helm/mowgli/home/xml/publications/others/publication.dtd
index 7b131f501..87efc8101 100644
--- 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>