diff --git a/doc/appdocsxml.dtd b/doc/appdocsxml.dtd index 456ac188fd..c379843d3f 100644 --- a/doc/appdocsxml.dtd +++ b/doc/appdocsxml.dtd @@ -24,14 +24,17 @@ + + +