X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fsite.dtd;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fsites%2Fsite.dtd;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=ce43fddc053884fcb28327db9c40092422ce06d7;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/mowgli/home/xml/sites/site.dtd b/helm/mowgli/home/xml/sites/site.dtd
deleted file mode 100644
index ce43fddc0..000000000
--- a/helm/mowgli/home/xml/sites/site.dtd
+++ /dev/null
@@ -1,32 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-
-<!ENTITY % in_site "(name,country,url,address,responsible,description,member*,project*)">
-
-<!ELEMENT site (%in_site;|subsite+)>
-<!ELEMENT subsite %in_site;>
-<!ELEMENT name (#PCDATA)>
-<!ELEMENT country (#PCDATA)>
-<!ELEMENT url (#PCDATA)>
-<!ELEMENT address (#PCDATA)>
-<!ELEMENT responsible EMPTY>
-<!ATTLIST responsible
-          file CDATA #REQUIRED>
-<!ELEMENT description (p|dl|ul)+>
-<!ELEMENT project (name,acronym?,url,member+,description)>
-<!ELEMENT acronym (#PCDATA)>
-<!ELEMENT member EMPTY>
-<!ATTLIST member
-          file CDATA #REQUIRED>
-
-<!-- A subset of XHTML -->
-<!ELEMENT p (#PCDATA|em|a)*>
-<!ELEMENT em (#PCDATA)>
-<!ELEMENT a (#PCDATA)>
-<!ATTLIST a
-          target CDATA #IMPLIED
-          href CDATA #REQUIRED>
-<!ELEMENT dl (dt|dd)+>
-<!ELEMENT dt (#PCDATA)>
-<!ELEMENT dd (#PCDATA)>
-<!ELEMENT ul (li)+>
-<!ELEMENT li (#PCDATA)>