mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Ian Campbell
9db0ad0f46
It is sometimes hard to discover all the optional tools that should be on a system to build all available Xen documentation. By checking for documentation generation tools at ./configure time and displaying a warning, Xen packagers will more easily learn about new optional build dependencies, like markdown, when they are introduced. Based on a patch by Matt Wilson. Changed to use a separate docs/configure which is called from the top-level in the same manner as stubdoms. Rerun autogen.sh and "git add docs/configure" after applying this patch. Signed-off-by: Matt Wilson <msw@amazon.com> Signed-off-by: Ian Campbell <ian.campbell@citrix.com> Acked-by: Matt Wilson <msw@amazon.com> (For the change to introduce docs/configure) Acked-by: Roger Pau Monné <roger.pau@citrix.com> Committed-by: Ian Campbell <ian.campbell@citrix.com>
18 lines
477 B
Plaintext
18 lines
477 B
Plaintext
AC_DEFUN([AX_DOCS_TOOL_PROG], [
|
|
dnl
|
|
AC_ARG_VAR([$1], [Path to $2 tool])
|
|
AC_PATH_PROG([$1], [$2])
|
|
AS_IF([! test -x "$ac_cv_path_$1"], [
|
|
AC_MSG_WARN([$2 is not available so some documentation won't be built])
|
|
])
|
|
])
|
|
|
|
AC_DEFUN([AX_DOCS_TOOL_PROGS], [
|
|
dnl
|
|
AC_ARG_VAR([$1], [Path to $2 tool])
|
|
AC_PATH_PROGS([$1], [$3])
|
|
AS_IF([! test -x "$ac_cv_path_$1"], [
|
|
AC_MSG_WARN([$2 is not available so some documentation won't be built])
|
|
])
|
|
])
|