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 /config | |
| 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 'config')
| -rw-r--r-- | config/Docs.mk.in | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/config/Docs.mk.in b/config/Docs.mk.in new file mode 100644 index 0000000000..024ef20c33 --- /dev/null +++ b/config/Docs.mk.in @@ -0,0 +1,13 @@ +# Prefix and install folder +prefix := @prefix@ +PREFIX := $(prefix) +exec_prefix := @exec_prefix@ +libdir := @libdir@ +LIBDIR := $(libdir) + +# Tools +FIG2DEV := @FIG2DEV@ +POD2MAN := @POD2MAN@ +POD2HTML := @POD2HTML@ +POD2TEXT := @POD2TEXT@ +MARKDOWN := @MARKDOWN@ |