It was recently pointed out in another mailing list that there are
several manuals presented under the hello directory path. They were
being quoted as canonical sources of the documentation. I guess they
are found in search engines.
I hope that we will make the first pretest for the next Texinfo within a
few days, perhaps next week. At that point, it should be feasible to
use it to (re)generate HTML, if nothing else. It would also be very
helpful testing from my Texinfo-maintainer perspective :).
I've been using the development Texinfo to create the HTML for new
versions of the GNU Coding Standards and Maintainer Information (and of
the latest GNU Hello release), so at least the thing is basically
Of course, another (ugly) option is to post-process the generated HTML
to change the links. If anyone cares, I can send the scripts I used to
do that before the new Texinfo was far enough along.