diff options
author | Jani Nikula <[email protected]> | 2016-11-02 11:13:19 +0200 |
---|---|---|
committer | Jani Nikula <[email protected]> | 2016-11-03 12:35:29 +0200 |
commit | 207fc55bc32f6baf0f4793afb5e79267d528e1ae (patch) | |
tree | f7a219e44ffa59d3f33d6d775f8ef4ed608715b6 /tools/perf/scripts/python/call-graph-from-sql.py | |
parent | 1171a28bacee936be4da7c83de429e0258e647c3 (diff) |
Documentation/sphinx: make it possible to build latexdocs without pdflatex
Building latexdocs doesn't actually require $(PDFLATEX). Move the checks
for it to the pdfdocs target which does require it, and specifically
outside of the target in order to not depend on latexdocs when we can't
build pdfdocs anyway.
Reviewed-by: Mauro Carvalho Chehab <[email protected]>
Tested-by: Markus Heiser <[email protected]>
Signed-off-by: Jani Nikula <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/call-graph-from-sql.py')
0 files changed, 0 insertions, 0 deletions