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

2013-02-14 Thread Kristian Høgsberg
On Sat, Feb 09, 2013 at 04:52:53PM +0100, Armin K. wrote: > From 25297ebaf1da9aca1a00a9628bd73816309922fb Mon Sep 17 00:00:00 2001 > From: Armin K > Date: Sat, 9 Feb 2013 16:50:39 +0100 > Subject: [PATCH] Make sure that man page xml files are always disted. > > --- > do

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

2013-02-09 Thread 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 sim

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

2013-02-09 Thread Armin K.
From 25297ebaf1da9aca1a00a9628bd73816309922fb Mon Sep 17 00:00:00 2001 From: Armin K Date: Sat, 9 Feb 2013 16:50:39 +0100 Subject: [PATCH] Make sure that man page xml files are always disted. --- doc/man/Makefile.am | 7 +++ 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/doc