Onl allow "man" if sphinx-build actually supports it.

diff --git a/docs/include.am b/docs/include.am
index c1275500eac4999fcd219c597a6694b31724363f..b2df2533f3d1b27f84fa7bbb0e1d7d0527097345 100644 (file)
--- a/docs/include.am
+++ b/docs/include.am
@@ -18,8 +18,6 @@ ALLSPHINXOPTS   = -d $(SPHINX_BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOP
 
 if HAVE_SPHINX
 
-docs: html man
-
 sphinx-help:
        @echo "Please use \`make <target>' where <target> is one of"
        @echo "  html       to make standalone HTML files"
@@ -118,11 +116,18 @@ text: docs/conf.py changes
        @echo
        @echo "Build finished. The text files are in $(SPHINX_BUILDDIR)/text."
 
-man: docs/conf.py changes
+if HAVE_RECENT_SPHINX
+man:
        PYTHONPATH=${top_srcdir}/docs  $(SPHINXBUILD) -b man $(ALLSPHINXOPTS) ${top_srcdir}/man
        @echo
        @echo "Build finished. The manual pages are in ${top_srcdir}/man."
 
+else
+
+man:
+
+endif
+
 changes: docs/conf.py linkcheck
        PYTHONPATH=${top_srcdir}/docs  $(SPHINXBUILD) -b changes $(ALLSPHINXOPTS) $(SPHINX_BUILDDIR)/changes
        @echo