Test if breathe and sphinx_rtd_theme are available before building html
documentation
Also build man pages only if sphinx is available. Make it nops otherwise.
Signed-off-by:
Sebastian Ramacher <sebastian+dev@ramacher.at>
doc/.gitignore
0 → 100644
doc/man/conf.py
0 → 100644
Please register or sign in to comment