Documentation image source

Sebastian Huber sebastian.huber at
Thu Oct 8 05:31:20 UTC 2020

On 08/10/2020 03:01, Chris Johns wrote:

> I see generated .png and .pdf for some images which I am questioning we need.
> The user document images I have contributed are only .png files so I am not sure
> why a PDF is needed for some.
Images in a vector format is very important for a high quality PDF. 
Using PNG for the PDFs is not really good.

More information about the devel mailing list