Leo Famulari <[email protected]> skribis: > On Sat, Jul 30, 2016 at 03:46:29PM +0200, Ludovic Courtès wrote: >> 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. > > I've attached a patch. Your thoughts? > > From 2407216eac19e5a7a3376efc497f7047dc0c8299 Mon Sep 17 00:00:00 2001 > From: Leo Famulari <[email protected]> > Date: Tue, 9 Aug 2016 14:55:37 -0400 > Subject: [PATCH] gnu: git: Provide man-pages in main Git package. > > * gnu/packages/version-control.scm (git-manpages): Remove variable. > (git)[native-inputs]: Add GIT-MANPAGES. > [arguments]: Add 'install-man-pages' phase.
LGTM! :-) Thank you! Ludo'.
