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.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2811d5a65b616360c0604263517786e89a68da36..34884c61536b1476d9bac07e9ea70909753dbd38 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -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