From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4E8C3912.7060507@domain.hid>
Date: Wed, 05 Oct 2011 13:01:38 +0200
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
References: <4E8B0BC6.7030000@domain.hid>
In-Reply-To: <4E8B0BC6.7030000@domain.hid>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai-core] patch: build: restore building of xeno-config
 man	page
List-Id: Xenomai life and development <xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
List-Archive: </public/xenomai-core>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-core-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
To: Daniele Nicolodi <daniele@domain.hid>
Cc: xenomai@xenomai.org

On 10/04/2011 03:36 PM, Daniele Nicolodi wrote:
> Hello,
> 
> here is a simple patch to the build system to restore the building of
> xeno-config man page. It got lost some time ago. I noticed that it was
> missing because debian packages failed to build.

Applied, thanks.

-- 
                                                                Gilles.