bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Bruno Haible
Subject: Re: gnu-web-doc-update doesn't work when the manual isn't already online
Date: Thu, 23 Mar 2023 14:24:22 +0100

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 --mirror handle this?

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:

Whole_002dstring-Operators.html Buffer-Operators.html
Regular-expressions.html Emacs-Syntax-Tables.html
Regular-expressions.html GNU-Emacs-Operators.html
Match_002dbeginning_002dof_002dstring-Operator.html 
Match_002dbeginning_002dof_002dbuffer-Operator.html
Match_002dend_002dof_002dstring-Operator.html 
Match_002dend_002dof_002dbuffer-Operator.html
Regular-expressions.html Match_002dnot_002dsyntactic_002dclass-Operator.html
Regular-expressions.html Match_002dsyntactic_002dclass-Operator.html
Regular-expressions.html Non_002dEmacs-Syntax-Tables.html
Regular-expressions.html Syntactic-Class-Operators.html

I don't see how a script can do this automatically.

Bruno






reply via email to

[Prev in Thread] Current Thread [Next in Thread]