04b709117271 ("doc-rst: Delete output of failed dot-SVG conversion") | |
ec868e4ee2bc ("docs-rst: media: build SVG from graphviz files") | |
76cf11aa1590 ("convert more media images to SVG") | |
c54b6b37796e ("docs: Avoid warning on cleandocs") | |
15a04d4e76bd ("docs-rst: auto-generate PDF image files") | |
f3902934797b ("docs-rst: convert gif files to png") | |
00e99ed2c845 ("convert some images from png to svg") | |
c8556966720f ("Documentation/sphinx: remove superfluous trailing ; from quiet_cmd_sphinx") |