configure: support for the "docbook2man" utility to build the documentation

This adds docbook2man as an alternative name for the docbook compiler.
As that name was used on Debian based systems for an older version of the tool,
this change also adds a check so that docbook2man is never used on Debian based
systems.

Reported-by: Peter Simons <simons@cryp.to>
Reported-by: Christian Bühler christian@cbuehler.de
Signed-off-by: Stéphane Graber <stgraber@ubuntu.com>
Acked-by: Serge E. Hallyn <serge.hallyn@ubuntu.com>
This commit is contained in:
Peter Simons 2013-04-25 12:20:30 +02:00 committed by Stéphane Graber
parent f05699d19e
commit 69fe23ff07
No known key found for this signature in database
GPG Key ID: C638974D64792D67

View File

@ -66,8 +66,14 @@ AC_ARG_ENABLE([doc],
if test "x$enable_doc" = "xyes" -o "x$enable_doc" = "xauto"; then
db2xman=""
if test "x$with_distro" = "xdebian" -o "x$with_distro" = "xubuntu"; then
dbparsers="docbook2x-man db2x_docbook2man"
else
dbparsers="docbook2x-man db2x_docbook2man docbook2man"
fi
AC_MSG_CHECKING(for docbook2x-man)
for name in docbook2x-man db2x_docbook2man; do
for name in ${dbparsers}; do
if "$name" --help >/dev/null 2>&1; then
db2xman="$name"
break;