[geometry] Global Boost documentation for master not refreshed?

From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2020-03-27 19:18:30

Hi,

A long while ago there was a problem in Boost.Geometry [1] that
caused addition of unwanted sections to the global docs:
    https://www.boost.org/doc/libs/1_70_0/#lib-geometry-extensions
    https://www.boost.org/doc/libs/1_70_0/#lib-geometry-index
and the problem [1] has been fixed a while ago in the Geometry,
in both branches develop and master.
[1] https://github.com/boostorg/geometry/issues/585

The global docs for the develop branch look fixed,
no unwanted sections, just the one we want:
https://www.boost.org/doc/libs/develop#lib-geometry

The global docs for the master branch still lists one of
the two unwanted sections
https://www.boost.org/doc/libs/master#lib-geometry-extensions

Why is that?
Are we still waiting for the rebuild or something had not
cleaned up correctly before the last rebuild?

Best regards,
-- 
Mateusz Loskot, http://mateusz.loskot.net