On 09.01.2023 at 03:31, vignesh C wrote:
> The patch does not apply on top of HEAD as in [1], please post a rebased patch:
Voilà
This one applies on top of 3c569049b7b502bb4952483d19ce622ff0af5fd6 and
the documentation build succeeds. Beyond rebasing I've added a few more
ids (to make the other patch (make_html_ids_discoverable.patch) build
without warnings again) but nothing that would justify another review.
We probably have to move quickly with this patch since it touches pretty
much any file in the documentation and will be outdated in a minute.
Regards,
Brar