When I did #6823 and changed the dpi I did not remember that we had merged #5677
which changed the default HTML docs to build svg examples rather than pdf examples. Apparently #5677 was not backported to 2.x
There are several questions.
- Should the change to use SVG's be backported?
- The svg's are build with a dpi of 72? Why? Should that not match the default dpi?
When I did #6823 and changed the dpi I did not remember that we had merged #5677
which changed the default HTML docs to build svg examples rather than pdf examples. Apparently #5677 was not backported to 2.x
There are several questions.