17 Dec
2020
17 Dec
'20
5:45 p.m.
On 2020-12-13 03:34:00 Glen Fernandes wrote:
On Sat, Dec 12, 2020 at 8:16 PM Edward Diener wrote:
The final issue was that the index.html for the release showed 1.74 rather than 1.75. This seems to be generated from some sort of template where '{{version}}' is supposed to be plugged in by the correct version, but evidently did not work properly. Maybe someone who knows how this is supposed to work, but evidently did not, can look at it.
Sounds like generate.php?page=index.html&version=<version> was invoked with the wrong <version> . I'll take a look and see what I can find.
Fixed: https://github.com/boostorg/release-tools/commit/b08dbc34451e9f5b09ec44cab53... Glen