GNU bug report logs - #24105
git package misses man pages

Previous Next

Full log

Message #11 received at 24105 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Leo Famulari <leo <at> famulari.name>
Cc: Andreas Enge <andreas <at> enge.fr>, 24105 <at> debbugs.gnu.org
Subject: Re: bug#24105: git package misses man pages
Date: Sat, 30 Jul 2016 15:46:29 +0200

Leo Famulari <leo <at> famulari.name> skribis:

> On Fri, Jul 29, 2016 at 02:46:23PM +0200, Andreas Enge wrote:

[...]

>> I suggest to include the man pages into the git package itself. If building
>> them is a real issue, adding a source and the build phase of git-manpages
>> to the git package itself could also be an option.
>
> I agree. If we continue to not build them from source, it won't make the
> Git package any more "expensive". We could add the pre-built source
> tarball as a native-input to the Git package, and re-use the unpack
> phase from git-manpages.

I agree too, this sounds like a good idea.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.