diff docs/dtd/changes.dtd @ 4831:5e3bda6f5208

Pass changes.xml thru xmllint when generating CHANGES and CHANGES.ru.
author Ruslan Ermilov <ru@nginx.com>
date Thu, 30 Aug 2012 16:08:13 +0000
parents 818fbd4750b9
children e79c7521aaf4
line wrap: on
line diff
--- a/docs/dtd/changes.dtd	Thu Aug 30 16:05:43 2012 +0000
+++ b/docs/dtd/changes.dtd	Thu Aug 30 16:08:13 2012 +0000
@@ -12,10 +12,10 @@
 >
 
 <!ELEMENT change       (para)* >
-<!ATTLIST change       type (bugfix | feature | change | workaround) #IMPLIED >
+<!ATTLIST change       type (bugfix | feature | change | security | workaround) #IMPLIED >
 
 <!ELEMENT para         (#PCDATA | at | br | nobr)* >
-<!ATTLIST para         lang (ru | en) #IMPLIED >
+<!ATTLIST para         lang (ru | en) #REQUIRED >
 
 <!ELEMENT at           EMPTY >
 <!ELEMENT br           EMPTY >