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 /docs/figs | |
| 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 'docs/figs')
| -rw-r--r-- | docs/figs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/figs/Makefile b/docs/figs/Makefile index 5ecdae37fe..e128a4364f 100644 --- a/docs/figs/Makefile +++ b/docs/figs/Makefile @@ -1,7 +1,7 @@ XEN_ROOT=$(CURDIR)/../.. include $(XEN_ROOT)/Config.mk -include $(XEN_ROOT)/docs/Docs.mk +-include $(XEN_ROOT)/config/Docs.mk TARGETS= network-bridge.png network-basic.png |