branch master updated: * TODO.HTML: Update location of webkitgtk-info sources

[Gavin D. Smith]

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

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new 8e30ec85d3 * TODO.HTML: Update location of webkitgtk-info sources
8e30ec85d3 is described below

commit 8e30ec85d3c28e4505f729c8c10a0b693235732a
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Thu Apr 6 10:01:49 2023 +0100

    * TODO.HTML: Update location of webkitgtk-info sources
---
 ChangeLog | 4 ++++
 TODO.HTML | 4 +---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index d844368340..1ab66aba20 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2023-04-06  Gavin Smith <gavinsmith0123@gmail.com>
+
+       * TODO.HTML: Update location of webkitgtk-info sources
+
 2023-04-05  Gavin Smith <gavinsmith0123@gmail.com>
 
        Avoid gnulib/Perl definition clash
diff --git a/TODO.HTML b/TODO.HTML
index 8d119364aa..c061e186b0 100644
--- a/TODO.HTML
+++ b/TODO.HTML
@@ -59,9 +59,7 @@ locally installed manuals.  The reason for this is that it 
only handles
 one manual at a time and does not handle searching for a manual.
 
 Another system has been developed using the embedded WebKitGTK browser,
-under the js/infog directory in the Texinfo sources.
-
-https://git.savannah.gnu.org/cgit/texinfo.git/log/?h=webkitgtk-info
+under the 'infog' directory in the Texinfo sources.
 
 Video demo https://www.gnu.org/software/texinfo/video/demo.webm
 (from November 2019)