]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/sites/site.dtd
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mowgli / home / xml / sites / site.dtd
diff --git a/helm/mowgli/home/xml/sites/site.dtd b/helm/mowgli/home/xml/sites/site.dtd
deleted file mode 100644 (file)
index ce43fdd..0000000
+++ /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)>