savannah gnuploads (was [PATCH] gnupload: corrected SFTP connection URL)

2023-03-23 Thread Sergey Poznyakoff
Hi Bruno, While at it, I wonder if the following two upload targets in gnupload are still valid: savannah.gnu.org:DIRECTORY savannah.nongnu.org:DIRECTORY First, both of them cause anonymous ftp uploads whereas neither host listens on ftp port. Secondly, the savannah.nongnu.org docs [1]

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 >

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. > > > >

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,