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 --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 462e2911b8..e96db5728f 100644 --- a/.gitignore +++ b/.gitignore @@ -35,6 +35,9 @@ config/Toplevel.mk build-* dist/* +docs/autom4te.cache/ +docs/config.log +docs/config.status docs/*.aux docs/*.dvi docs/*.log @@ -132,6 +135,7 @@ tools/config.status tools/config.cache config/Tools.mk config/Stubdom.mk +config/Docs.mk tools/blktap2/daemon/blktapctrl tools/blktap2/drivers/img2qcow tools/blktap2/drivers/lock-util -- cgit v1.2.3