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.
This commit is contained in:
Michal Nowak
2021-04-13 18:26:24 +02:00
parent 9359e1a8c0
commit c0566dd8d7

View File

@@ -4,6 +4,10 @@ if HAVE_PERL
SUBDIRS += misc
endif
# Do not change this line to "SUBDIRS = man" at the top of this file: in
# maintainer mode, the "man" subdirectory depends on the "misc" subdirectory.
SUBDIRS += man
if HAVE_SPHINX_BUILD
SUBDIRS += man arm
SUBDIRS += arm
endif HAVE_SPHINX_BUILD