commit | f3902934797b0b00ba8f10bfc377c1bb2789046c | [log] [tgz] |
---|---|---|
author | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | Mon Nov 14 14:32:31 2016 -0200 |
committer | Jonathan Corbet <corbet@lwn.net> | Wed Nov 16 15:20:49 2016 -0700 |
tree | 3d019bb36127b9c7e46d533d6df7f7fa98fe2654 | |
parent | 00e99ed2c84536055761fa5962ae4e6eb95b4090 [diff] |
docs-rst: convert gif files to png Right now, media is using two different formats for bitmap images: GIF and PNG. Let's use just one, to make it simpler when building with Sphinx. As PNG is usually better than GIF, let's use it. Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com> Signed-off-by: Jonathan Corbet <corbet@lwn.net>