diff options
| author | Lennart Poettering <lennart@poettering.net> | 2012-07-16 17:19:39 +0200 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2012-07-16 17:19:39 +0200 |
| commit | 9c4fa6ed1069e98db5f01a5d1056b443a04cc7d9 (patch) | |
| tree | b78687a62c0a57105d4ab936982fa5c0e0b77417 /configure.ac | |
| parent | e06c73cc91e02a1a3dffdb0976fef754f1109e74 (diff) | |
min: generate an index page for all man pages
This makes use of python, if it is available
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index c5fbec5738..03644a6d60 100644 --- a/configure.ac +++ b/configure.ac @@ -79,6 +79,10 @@ if test -z "$GPERF" ; then AC_MSG_ERROR([*** gperf not found]) fi +# we use python only to build the man page index +AM_PATH_PYTHON(,, [:]) +AM_CONDITIONAL([HAVE_PYTHON], [test "$PYTHON" != :]) + CC_CHECK_FLAGS_APPEND([with_cflags], [CFLAGS], [\ -pipe \ -Wall \ |