Re: [PATCH 4/4] docs: check for documentation generation tools in docs/configure.

["Roger Pau Monné" <roger.pau@citrix.com>]

On 18/01/13 15:25, Ian Campbell wrote:
> 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)
> Cc: "Fioravante, Matthew E." <Matthew.Fioravante@jhuapl.edu>
> Cc: Roger Pau Monné <roger.pau@citrix.com>
> ---
> Applies on top of Matthew's "Add autoconf to stubdom" and "Add a top
> level configure script".
> 
> v2: - LATEX2HTML is unused
>     - No more XenAPI or Doxygen or associated tools.
> ---
> @@ -69,6 +75,7 @@ clean:
>  
>  .PHONY: distclean
>  distclean: clean
> +	rm -rf ../config/Docs.mk config.log config.status autom4te.cache

By looking at the distclean target from tools, don't you need to remove
config.cache also?

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel