On Mon, Apr 07, 2008 at 01:03:14PM +0200, Stefano Sabatini wrote: > > as in subject, otherwise make install-man will fail if the man pages > haven't already been built. Thanks, applied. Diego