Re: 2.20.0 release coordination with translation. Other showstoppers?

[Phil Holmes]

> But it doesn't make sense to point VERSION_DEVEL to documentation that
> is actually older than that of 2.20, does it?
>
> I do not really know what is correct here with respect to our
> semi-automatic webpage update mechanism.  I just remember that we had
> problems last time round.
>
> --
> David Kastrup


I think it needs to point to documentation that actually exists, since we 
won't be building for the development version.  There's no reason not to 
launch a 2.21 fairly soon afterwards, and the problem you're citing would 
then go away.

--
Phil Holmes