Generate pdf images in the documentation by default
Images are now converted to png a posteriori for html output, but are used as pdf for latex.
Showing
Images are now converted to png a posteriori for html output, but are used as pdf for latex.