wip Give up and explicitly list all man pages

Signed-off-by: Jeff Squyres <[email protected]>

Author: jsquyres

config/opal_setup_sphinx.m4

@@ -12,6 +12,13 @@ dnl
 AC_DEFUN([OPAL_SETUP_SPHINX],[
     OPAL_VAR_SCOPE_PUSH([summary_msg])
 
+    # This option is probably only helpful to developers: have
+    # configure fail if Sphinx is not found (i.e., if you don't have
+    # the ability to use Sphinx to build the HTML docs and man pages).
+    AC_ARG_ENABLE([sphinx],
+        [AS_HELP_STRING([--enable-sphinx],
+            [Force configure to fail if Sphinx is not found (Sphinx is used to build the Open MPI and OpenSHMEM HTML docs and man pages).  This option is likely only useful for Open MPI developers; end users who are building from Open MPI distribution tarballs do ***not*** need to have Sphinx installed])])
+
     # Quick check to see if we have already-built docs (e.g., if we're
     # in a tarball vs. a fresh git clone).
     AC_MSG_CHECKING([if pre-built docs are available])
@@ -52,6 +59,13 @@ AC_DEFUN([OPAL_SETUP_SPHINX],[
                  [summary_msg="installing packaged docs"],
                  [summary_msg="no documentation available"])])
 
+    # If --enable-sphinx was specified and we did not find Sphinx,
+    # abort.  This is likely only useful to prevent "oops!" moments
+    # from Open MPI developers.
+    AS_IF([test -z "$SPHINX_BUILD" && test "$enable_sphinx" = "yes"],
+          [AC_MSG_WARN([Sphinx was not found, but --enable-sphinx was specified])
+           AC_MSG_ERROR([Cannot continue])])
+
     OPAL_SUMMARY_ADD([Miscellaneous], [HTML docs and man pages], [],
                      [$summary_msg])