[PATCH] Make sure that man page xml files are always disted.

[Quentin Glidic]

On 09/02/2013 16:52, Armin K. wrote:
> -EXTRA_DIST =
> -man_MANS =
> +EXTRA_DIST = $(XML_FILES)
> +dist_man_MANS =

Perfect


> -EXTRA_DIST += $(MANPAGES) $(MANPAGES_ALIASES) $(XML_FILES)
> -man_MANS += $(MANPAGES) $(MANPAGES_ALIASES)
> +dist_man_MANS += $(MANPAGES) $(MANPAGES_ALIASES)

I would simply set dist_man_MANS even when xsltproc is missing.
The reason is simple: with the current users are not getting mans
installed if they don’t have xsltproc. Even “worse”, if the dister does
not have xsltproc and the user does, they are generated while they
should have been just installed.
But that’s not my call, Kristian or Pekka might have a better idea of
what we should have here. :-)

-- 

Quentin “Sardem FF7” Glidic