git.droids-corp.org / dpdk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 55e411b) | patch
devtools: check wrong svg include in guides
authorThomas Monjalon <thomas@monjalon.net>
Wed, 31 Oct 2018 16:28:42 +0000 (17:28 +0100)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 1 Nov 2018 21:13:33 +0000 (22:13 +0100)
commit4d4c612e6a3021c9d0faa7768919c588021af230
treecf56dcbde132b7244d8baba0ebaee64461f0eed3tree | snapshot
parent55e411b301c31ec8a0096f0f8d92cb544bd8274bcommit | diff
devtools: check wrong svg include in guides

Including svg files with the svg extension is a common mistake:
.. figure:: example.svg
must be
.. figure:: example.*
So it will work also when building pdf doc with figures converted
to png files.

A check is added in checkpatches.sh.

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
Signed-off-by: Arnon Warshavsky <arnon@qwilt.com>
devtools/checkpatches.sh diff | blob | history
DPDK repo used for reviews