Leo Famulari <[email protected]> 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’.
