path: root/config
diff options
authorIan Campbell <ian.campbell@citrix.com>2013-01-25 09:03:37 +0000
committerIan Campbell <ian.campbell@citrix.com>2013-01-25 09:03:37 +0000
commit9db0ad0f460926d9667dab832663f3d011407024 (patch)
tree8983e2210327ba4460623a72cf16757b63b98fd4 /config
parent5806093a20e20209d4b88ab866ae1e6017c95de7 (diff)
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')
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