X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Fwork-package.dtd;h=215bd5218534b236a821b9b2d39a02b8ab200870;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=723468da54a38b1ea8fee9d6df780fe409911e9e;hpb=1d993163d9371b1d916e6759d266d996f8c9bac2;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd
index 723468da5..215bd5218 100644
--- a/helm/mowgli/home/xml/work-packages/work-package.dtd
+++ b/helm/mowgli/home/xml/work-packages/work-package.dtd
@@ -12,6 +12,8 @@
 <!ELEMENT end (#PCDATA)>
 
 <!ELEMENT leader (#PCDATA)>
+<!ATTLIST leader
+          file CDATA #REQUIRED>
 
 <!ELEMENT person-month EMPTY>
 <!ATTLIST person-month