Revision d99dd9c7
ID | d99dd9c7df8d7492d4234daec71436bb71ba4861 |
Fix documentation building rules
Implement the correct behavior to be kept when sphinx-build is not installed.
It was already correctly checked, but instead of just disabling the
documentation generation, an error message was printed, having "make" fail.
Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Thomas Thrainer <thomasth@google.com>
Files
- added
- modified
- copied
- renamed
- deleted