Skip to content

Doc tweaks (also cherry-pick to 3.2)

Andy Buckley requested to merge doc-tweaks into release-3-1-x

Fix issues in the HTML generation, improve code rendering and web-page titles, de-anal-ize the ana-diff intermediate files ;-)

Merge request reports