diff xml/versions.xml @ 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 c1899b2ac93e
children ad1f09b32e65
line wrap: on
line diff
--- a/xml/versions.xml
+++ b/xml/versions.xml
@@ -1,3 +1,5 @@
+<!DOCTYPE versions SYSTEM "../dtd/versions.dtd">
+
 <versions>
 <development> 1.1.5 </development>
 <stable> 1.0.8 </stable>