diff options
| author | Jani Nikula <[email protected]> | 2016-08-10 18:54:09 +0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2016-08-12 15:25:53 -0600 |
| commit | 3eb6cd6834c356f40e1633a0ced4ff9a4c59936b (patch) | |
| tree | 9da15edb60fe905ff03f0ee78cc61b92b1fa11e9 /tools/perf/scripts/python/bin | |
| parent | f907ba930780d73e87791c73a4fdc1998e59db75 (diff) | |
Documentation: exclude media documentation from pdf generation
Although pdflatex is more robust than rst2pdf, building media
documentation pdf still fails. Exclude media documentation from pdf
generation for now.
Signed-off-by: Jani Nikula <[email protected]>
Acked-by: Markus Heiser <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/bin')
0 files changed, 0 insertions, 0 deletions