Re: gnu-web-doc-update doesn't work when the manual isn't already online

[Reuben Thomas]

On Thu, 23 Mar 2023 at 13:24, Bruno Haible <bruno@clisp.org> wrote:

What I mean is that when a developer has removed or renamed some info nodes
in the documentation, previously existing HTML pages no longer exist.
Last time this happened, for example, after restructured the regular expressions
documentation, I added the following symlinks to compensate for the deleted
HTML pages:

I see, and I agree this is hard to do automatically in the general case.

--

https://rrt.sc3d.org