From c0566dd8d780520fffe20147013ef59e1123821a Mon Sep 17 00:00:00 2001
From: Michal Nowak <mnowak@isc.org>
Date: Tue, 13 Apr 2021 18:26:24 +0200
Subject: [PATCH] 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.
---
 doc/Makefile.am | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2811d5a65b..34884c6153 100644
--- 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