From 9db0ad0f460926d9667dab832663f3d011407024 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Fri, 25 Jan 2013 09:03:37 +0000 Subject: docs: check for documentation generation tools in docs/configure. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 Signed-off-by: Ian Campbell Acked-by: Matt Wilson (For the change to introduce docs/configure) Acked-by: Roger Pau Monné Committed-by: Ian Campbell --- autogen.sh | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) (limited to 'autogen.sh') diff --git a/autogen.sh b/autogen.sh index 1456d94b0e..b5c96882d9 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,7 +1,12 @@ #!/bin/sh -e autoconf -cd tools -autoconf -autoheader -cd ../stubdom -autoconf +( cd tools + autoconf + autoheader +) +( cd stubdom + autoconf +) +( cd docs + autoconf +) -- cgit v1.2.3