[Help-source-highlight] Manual bugs (3.1.9 (library: 4:1:0))

[K . Kurokawa]

I have found two bugs on its manual. One is duplicate word, and the other is that <bug-source-highlight@gnu.org> was written but seems out of work, as no one is replying to me.

First, I sent the first bug to <bug-source-highlight@gnu.org>, as forwarded message. Original subject was: 3.1.9 (library: 4:1:0): Duplicate word on manual "source-highlight.1.gz"

-------- Forwarded message --------
午後4:03, 2021年1月18日, "K. Kurokawa" <nine-k.960klo@yandex.com>:

On line 9 (in gunzipped format) the word GNU appears twice as in:

<line no="9">

GNU GNU source\-highlight 3.1.9

</line>

This is seen on package "source-highlight" for Arch Gnu/Linux, as in: https://archlinux.org/packages/extra/x86_64/source-highlight/

--
Sent from Yandex.Mail for mobile

-------- End of forwarded message --------

Second, I realized that <https://lists.gnu.org/mailman/listinfo/> has <help-source-highlight> but doesn't <bug-source-highlight>; I thought that manual may be outdated.

--
Sent from Yandex.Mail for mobile