diff options
author | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 09:03:37 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-01-25 09:03:37 +0000 |
commit | 9db0ad0f460926d9667dab832663f3d011407024 (patch) | |
tree | 8983e2210327ba4460623a72cf16757b63b98fd4 /.gitignore | |
parent | 5806093a20e20209d4b88ab866ae1e6017c95de7 (diff) | |
download | xen-9db0ad0f460926d9667dab832663f3d011407024.tar.gz xen-9db0ad0f460926d9667dab832663f3d011407024.tar.bz2 xen-9db0ad0f460926d9667dab832663f3d011407024.zip |
docs: check for documentation generation tools in docs/configure.
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>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
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 |