branch master updated: Update formatting_xml test result for new DTD number

[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 cb5c6d7e2c Update formatting_xml test result for new DTD number
cb5c6d7e2c is described below

commit cb5c6d7e2ca716a127209316039c103151d30c99
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri May 3 23:40:28 2024 +0200

    Update formatting_xml test result for new DTD number
---
 tp/tests/coverage/res_parser/formatting_xml/formatting.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tp/tests/coverage/res_parser/formatting_xml/formatting.xml 
b/tp/tests/coverage/res_parser/formatting_xml/formatting.xml
index b0e149367b..83c7bf7136 100644
--- a/tp/tests/coverage/res_parser/formatting_xml/formatting.xml
+++ b/tp/tests/coverage/res_parser/formatting_xml/formatting.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0"?>
-<!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V7.1//EN" 
"http://www.gnu.org/software/texinfo/dtd/7.1/texinfo.dtd";>
+<!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V7.2//EN" 
"http://www.gnu.org/software/texinfo/dtd/7.2/texinfo.dtd";>
 <texinfo>
 <filename file="formatting.xml"></filename>
 <preamblebeforebeginning>\input texinfo @c -*-texinfo-*-