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

2023-03-23 Thread Reuben Thomas
On Thu, 23 Mar 2023 at 13:24, Bruno Haible 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 > document

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

2023-03-23 Thread Bruno Haible
Reuben Thomas wrote: > > Btw, I prefer to not use this script, because it does not handle removed > > doc pages yet. In these cases, it is advisable to augment the .symlinks > > file, so that users who use old URLs don't get HTTP 404 errors. But the > > script does not do this yet. > > > > Doesn't

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

2023-03-23 Thread Reuben Thomas
On Wed, 22 Mar 2023 at 05:42, Bruno Haible wrote: > > If we do this unconditionally, the user will get a warning message > > cvs add: manual/CVS already exists > > in the update case. This patch should thus work better. > Thanks for the improvement! > Btw, I prefer to not use this script, be

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

2023-03-21 Thread Bruno Haible
Hi Reuben, Reuben Thomas wrote: > I spent a while trying to work out why I was getting CVS errors from the > script for GNU a2ps, and I realised that the problem was that a2ps's manual > wasn't online yet. This causes confusing error messages when the "manual" > subdirectory isn't online, and cvs

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

2023-03-19 Thread Reuben Thomas
I spent a while trying to work out why I was getting CVS errors from the script for GNU a2ps, and I realised that the problem was that a2ps's manual wasn't online yet. This causes confusing error messages when the "manual" subdirectory isn't online, and cvs can't find a CVS directory and hence CVSR