commit:     9939c2d38ec93f36c9047e1a0a2d6301280b1741
Author:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Mon Mar  2 23:45:05 2020 +0000
Commit:     Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Mon Mar  2 23:45:05 2020 +0000
URL:        https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=9939c2d3

devbook.dtd: Allow block level elements in <dd>.

Definition lists are simply passed through to the output, so there is
no good reason to be stricter than HTML.

Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>

 devbook.dtd | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/devbook.dtd b/devbook.dtd
index d213d0c..16037de 100644
--- a/devbook.dtd
+++ b/devbook.dtd
@@ -77,9 +77,9 @@
 
 <!ELEMENT li            (#PCDATA|%all.class;)*>
 
-<!ELEMENT dl            (dt, dd+)+>
+<!ELEMENT dl            (dt|dd)+>
 <!ELEMENT dt            (#PCDATA|%inline.class;)*>
-<!ELEMENT dd            (#PCDATA|%inline.class;)*>
+<!ELEMENT dd            (#PCDATA|%all.class;)*>
 
 <!ELEMENT b             (#PCDATA|%inline.class;)*>
 <!ELEMENT c             (#PCDATA|%inline.class;)*>

Reply via email to