man: using sphinx-1.0-build if no sphinx-build

On RHEL 6 and CentOS 6 sphinx 1.0+ which is required to build man pages
is packaged as sphinx10 instead of sphinx and the binary is
sphinx-1.0-build instead of sphinx-build.

Signed-off-by: Loic Dachary <ldachary@redhat.com>
This commit is contained in:
Loic Dachary 2015-04-03 01:46:36 +02:00
parent a8eab36cb0
commit e39070fea7
2 changed files with 3 additions and 3 deletions

View File

@ -21,7 +21,7 @@ if test -d ".git" ; then
fi
AC_MSG_NOTICE([RPM_RELEASE='$RPM_RELEASE'])
AC_CHECK_PROG(SPHINX_BUILD, sphinx-build, yes, no)
AC_CHECK_PROGS(SPHINX_BUILD, sphinx-1.0-build sphinx-build, no)
if test x"$SPHINX_BUILD" = x"no"; then
AC_MSG_ERROR([sphinx-build not found (python-sphinx)])
fi

View File

@ -13,7 +13,7 @@ include Makefile-server.am
endif
check-local:
sphinx-build -b man -d doctrees . $(top_builddir)/man
${SPHINX_BUILD} -b man -d doctrees . $(top_builddir)/man
# prevent `make` from running in parallel, sphinx runs better in batch mode.
.PHONY: sphinx-build.stamp
@ -21,7 +21,7 @@ check-local:
$(dist_man_MANS): sphinx-build.stamp
sphinx-build.stamp:
sphinx-build -Q -b man -d doctrees -c . . $(top_builddir)/man
${SPHINX_BUILD} -Q -b man -d doctrees -c . . $(top_builddir)/man
clean-local:
@rm -f *.8