| commit | b9bba1a7e6b3ee8bf87a44ac5c1f7e3355370c11 | [log] [tgz] |
|---|---|---|
| author | Antonio de Angelis <antonio.deangelis@arm.com> | Wed May 08 10:28:22 2019 +0100 |
| committer | Antonio de Angelis <antonio.deangelis@arm.com> | Wed May 08 10:42:10 2019 +0100 |
| tree | a24ac94566521c3f39ebd32993e0c92df0c3f8ec | |
| parent | fa085c516a51ae238302f95232ee9696a643cfc6 [diff] |
Build: Fix documentation generation issues This patch fixes some issues related to the documents generation, in particular: -- Fix an issue with pdflatex generation for case sensitive shells such as bash -- Introduce support for png and jpg images in rst documents Change-Id: I379ac3bedae386c1ad7de96380d7d0fc64fb40fd Signed-off-by: Antonio de Angelis <antonio.deangelis@arm.com>