branch master updated: * util/texinfo.dtd: add indentedblock and smallindentedblock.

[Patrice Dumas]

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new b6a5abe643 * util/texinfo.dtd: add indentedblock and 
smallindentedblock.
b6a5abe643 is described below

commit b6a5abe6431a126576e1e2e08d1ca352ca317a70
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Wed Aug 17 08:38:56 2022 +0200

    * util/texinfo.dtd: add indentedblock and smallindentedblock.
---
 ChangeLog        | 4 ++++
 util/texinfo.dtd | 7 +++++++
 2 files changed, 11 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index cf6eefee41..376dcc7d01 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-08-17  Patrice Dumas  <pertusus@free.fr>
+
+       * util/texinfo.dtd: add indentedblock and smallindentedblock.
+
 2022-08-17  Patrice Dumas  <pertusus@free.fr>
 
        * doc/texinfo.texi (@code{@@inforef}): remove examples.
diff --git a/util/texinfo.dtd b/util/texinfo.dtd
index 2474c363e7..175cd7fde5 100644
--- a/util/texinfo.dtd
+++ b/util/texinfo.dtd
@@ -79,6 +79,7 @@
 
 <!-- Block -->
 <!ENTITY % block "menu | para | pre | quotation | smallquotation
+                  | indentedblock | smallindentedblock
                   | example | smallexample | lisp | smalllisp
                   | cartouche | float | format | smallformat
                   | display | smalldisplay | copying | titlepage
@@ -622,6 +623,12 @@
 <!ELEMENT smalldisplay (%block; | exdent)*>
 <!ATTLIST smalldisplay
           %spacesblockattr;>
+<!ELEMENT indentedblock    (%block; | exdent)*>
+<!ATTLIST indentedblock
+          %spacesblockattr;>
+<!ELEMENT smallindentedblock    (%block; | exdent)*>
+<!ATTLIST smallindentedblock
+          %spacesblockattr;>
 <!ELEMENT group        (%block; | exdent)*>
 <!ATTLIST group
           %spacesblockattr;>