diff options
| author | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2016-11-14 17:32:31 +0100 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-11-16 23:20:49 +0100 |
| commit | f3902934797b0b00ba8f10bfc377c1bb2789046c (patch) | |
| tree | 3d019bb36127b9c7e46d533d6df7f7fa98fe2654 /Documentation/media/.gitignore | |
| parent | convert some images from png to svg (diff) | |
| download | linux-f3902934797b0b00ba8f10bfc377c1bb2789046c.tar.xz linux-f3902934797b0b00ba8f10bfc377c1bb2789046c.zip | |
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 'Documentation/media/.gitignore')
0 files changed, 0 insertions, 0 deletions