diff dtd/error.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 7db449e89e92
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dtd/error.dtd	Mon Oct 10 14:47:09 2011 +0000
@@ -0,0 +1,6 @@
+<!ELEMENT  error        EMPTY >
+<!ATTLIST  error
+           title        CDATA #REQUIRED
+           link         CDATA #REQUIRED
+           lang         CDATA #REQUIRED
+>