Documentation: Also define install-man-rst when Sphinx is not available.
"make sandbox" wants to install the ReST manpages, but it failed when
Sphinx wasn't available.  This fixes the problem.
Fixes: ("ovs-sandbox: Install .rst manpages into the sandbox as well.")
Reported-by: Justin Pettit
Acked-by: Justin Pettit
@@ -178,8 +178,8 @@ extract_stem_and_section = \
eval "mandir=\$$man$${section}dir"; \
test -n "$$mandir" || { echo "unknown directory for manpage section $$section"; continue; }
-if HAVE_SPHINX
INSTALL_DATA_LOCAL += install-man-rst
+if HAVE_SPHINX
install-man-rst: docs-check
@$(set_mandirs); \
for rst in $(RST_MANPAGES); do \
@@ -189,6 +189,9 @@ install-man-rst: docs-check
echo " $(INSTALL_DATA) $(SPHINXBUILDDIR)/man/$$stem.$$section '$(DESTDIR)'\"$$mandir/$$stem.$$section\""; \
$(INSTALL_DATA) $(SPHINXBUILDDIR)/man/$$stem.$$section '$(DESTDIR)'"$$mandir/$$stem.$$section"; \
done
+else
+install-man-rst:
+ @:
endif
UNINSTALL_LOCAL += uninstall-man-rst
