diff options
| author | Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2016-11-14 19:32:31 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2016-11-17 01:20:49 +0300 |
| commit | f3902934797b0b00ba8f10bfc377c1bb2789046c (patch) | |
| tree | 3d019bb36127b9c7e46d533d6df7f7fa98fe2654 /Documentation/Makefile.sphinx | |
| parent | 00e99ed2c84536055761fa5962ae4e6eb95b4090 (diff) | |
| download | linux-f3902934797b0b00ba8f10bfc377c1bb2789046c.tar.xz | |
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/Makefile.sphinx')
0 files changed, 0 insertions, 0 deletions