diff options
author | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2016-11-14 14:32:31 -0200 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-11-16 15:20:49 -0700 |
commit | f3902934797b0b00ba8f10bfc377c1bb2789046c (patch) | |
tree | 3d019bb36127b9c7e46d533d6df7f7fa98fe2654 /tools/power | |
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>
Diffstat (limited to 'tools/power')
0 files changed, 0 insertions, 0 deletions