Commit 7e6c5fb46ae9d0f135cdcdb4f8d0376cf25320fd

Azat Khuzhin 2020-08-06T10:24:55

build: do not try install doxygen man pages if they were not requested Fixes: #1075