diff dtd/versions.dtd @ 75:2bf4cd2787c5

Added DTDs to make xmllint happy. Note that these DTDs don't try to be actually correct: possible element contents require cleanup. This is enough to pass all documents through xmllint though.
author Maxim Dounin <mdounin@mdounin.ru>
date Mon, 10 Oct 2011 14:47:09 +0000
parents
children be54c443235a
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dtd/versions.dtd	Mon Oct 10 14:47:09 2011 +0000
@@ -0,0 +1,5 @@
+<!ELEMENT  versions     (development | stable | legacy_stable)* >
+
+<!ELEMENT  development  (#PCDATA) >
+<!ELEMENT  stable       (#PCDATA) >
+<!ELEMENT  legacy_stable  (#PCDATA) >