diff options
| author |   Mauro Carvalho Chehab <mchehab@osg.samsung.com> | 2016-11-14 14:32:32 -0200 |
|---|---|---|
| committer |   Jonathan Corbet <corbet@lwn.net> | 2016-11-16 15:20:59 -0700 |
| commit | 15a04d4e76bd7ba755591f2369c574d8a0a7dc5d (patch) | |
| tree | 9d4e655552bafc4e520a98c602f68ae6dea0c7a3 /Documentation/media/intro.rst | |
| parent | docs-rst: convert gif files to png (diff) | |
| download | linux-dev-15a04d4e76bd7ba755591f2369c574d8a0a7dc5d.tar.xz linux-dev-15a04d4e76bd7ba755591f2369c574d8a0a7dc5d.zip | |
docs-rst: auto-generate PDF image files
The PDF files that contain media images were actually generated
offline from their SVG or PNG source files.
Sphinx can handle PNG sources automatially. So, let's just
drop their PDF counterparts.
For SVG, however, Sphinx doesn't produce the right tags to
use the TexLive SVG support. Also, the SVG support is done via
shell execution, with is not nice.
So, while we don't have any support for SVG inside Sphinx
core or as an extension, move the logic to build them to Makefile,
producing the PDF images on runtime.
NOTE: due to the way Sphinx works, the PDF images should be
generated inside the Kernel source tree, as otherwise Sphinx
won't find it, not obeying what's specified by "O=" makefile
parameter.
Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/media/intro.rst')
| -rw-r--r-- | Documentation/media/intro.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/media/intro.rst b/Documentation/media/intro.rst index f6086c159772..8f7490c9a8ef 100644 --- a/Documentation/media/intro.rst +++ b/Documentation/media/intro.rst @@ -13,8 +13,8 @@ A typical media device hardware is shown at :ref:`typical_media_device`. .. _typical_media_device: -.. figure:: media_api_files/typical_media_device.* - :alt: typical_media_device.svg +.. figure:: typical_media_device.* + :alt: typical_media_device.pdf / typical_media_device.svg :align: center Typical Media Device |