diff options
| author | Jani Nikula <[email protected]> | 2016-08-01 12:37:05 +0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2016-08-03 15:41:31 -0600 |
| commit | d9a77fe243c9cee108050dcbfe8a91b10426dd3d (patch) | |
| tree | e6baf8cd57cc28b309a6370089651b6c1c385349 /lib | |
| parent | a88b1672d4ddf9895eb53e6980926d5e960dea8e (diff) | |
Documentation/sphinx: do not warn about missing tools in 'make help'
Simply move the dochelp rule outside of the HAVE_SPHINX check,
overriding the .DEFAULT rule for HAVE_SPHINX=0.
Cc: Jonathan Corbet <[email protected]>
Cc: Christian Kujau <[email protected]>
Signed-off-by: Jani Nikula <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions