Michal Nowak c0566dd8d7 Install man pages when sphinx-build tool is missing ...

The exclusion of doc/man/ when the sphinx-build tool is missing was
excessive as some targets in doc/man/ are necessary to install man
pages.

2021-05-25 11:21:32 +02:00

276 B

Raw Blame History

View Raw