diff --git a/contrib/dist/make-html-man-pages.pl b/contrib/dist/make-html-man-pages.pl index 31de66ed6a..58f7679638 100755 --- a/contrib/dist/make-html-man-pages.pl +++ b/contrib/dist/make-html-man-pages.pl @@ -76,7 +76,7 @@ sub doit { # Autogen if we don't have a configure script doit("./autogen.pl") if (! -x "configure"); -doit("./configure --prefix=$prefix --enable-mpi-ext=all"); +doit("./configure --prefix=$prefix --enable-mpi-ext=all --without-cs-fs"); # Find this OMPI's version my $version = `fgrep PACKAGE_VERSION opal/include/opal_config.h | cut -d\\\" -f2`;