On Thu, 23 Mar 2023 at 13:24, Bruno Haible <br...@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
