branch master updated: Update DevHelp TODO entry

[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 71a5e8b538 Update DevHelp TODO entry
71a5e8b538 is described below

commit 71a5e8b538def7e28388495ed9d7200514dd4c76
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Fri Jan 14 10:00:50 2022 +0100

    Update DevHelp TODO entry
    
    * TODO: describe that the DevHelp XML format that would need to be
    generated is still not documented.
---
 ChangeLog | 7 +++++++
 TODO      | 8 +++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index f63439a07f..22ffdbc4ff 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2022-01-14  Patrice Dumas  <pertusus@free.fr>
+
+       Update DevHelp TODO entry
+
+       * TODO: describe that the DevHelp XML format that would need to be
+       generated is still not documented.
+
 2022-01-13  Patrice Dumas  <pertusus@free.fr>
 
        * maintain/regenerate_documentlanguages-loc.pl: script to
diff --git a/TODO b/TODO
index b86bee16ea..1393403821 100644
--- a/TODO
+++ b/TODO
@@ -36,7 +36,13 @@ If you are interested in working on any of these, email 
bug-texinfo@gnu.org.
   - Support output formats retaining the tree structure of Texinfo documents
     as parsed by the Parser.  A lisp-like format for GUILE? Maybe JSON?
   - Support other graphical documentation browsers like GNOME DevHelp
-    (https://lists.gnu.org/archive/html/bug-texinfo/2015-03/msg00041.html)
+    - DevHelp support could need to wait for a specification of the DevHelp
+      XML file format, which was not documented in 2022. Fromn DevHelp help:
+      "Unfortunately the *.devhelp2 XML file format is not well documented.
+      There is still some hope that it will be fixed in the near future."
+      There was an early discussion in 2015. The *.devhelp format at that time
+      was the first devhelp file format, now obsolete:
+      (https://lists.gnu.org/archive/html/bug-texinfo/2015-03/msg00041.html)
   - Support the MediaWiki output format.
 
 * TeX: