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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Leo Famulari <leo <at> famulari.name>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#24105: closed (git package misses man pages)
Date: Thu, 18 Aug 2016 02:44:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 17 Aug 2016 22:42:54 -0400
with message-id <20160818024254.GA9101 <at> jasmine>
and subject line Re: bug#24105: git package misses man pages
has caused the debbugs.gnu.org bug report #24105,
regarding git package misses man pages
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
24105: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24105
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Andreas Enge <andreas <at> enge.fr>
To: bug-guix <at> gnu.org
Subject: git package misses man pages
Date: Fri, 29 Jul 2016 14:46:23 +0200

Hello,

wondering why "git log --help" does not work, I thought that maybe there
was a different doc output. But the man pages are actually hidden in a
separate package called "git-manpages". This is surprising for the user.
Also, the resulting package is quite small with only 2.3 MB.

The reason for the separate package is given as this:
  ;; Granted, we could build the man pages from the 'git' package itself,
  ;; which contains the real source.  However, it would add a dependency on a
  ;; full XML tool chain, and building it actually takes ages.  So we use this
  ;; lazy approach.
Building will most of the time happen on the build farm, so the time it
takes should not be an issue. I suppose that the xml tool chain will only
be a native and not a normal input, so it should not be too much of a problem.

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.

Thanks!

Andreas

[Message part 3 (message/rfc822, inline)]

From: Leo Famulari <leo <at> famulari.name>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: Andreas Enge <andreas <at> enge.fr>, 24105-done <at> debbugs.gnu.org
Subject: Re: bug#24105: git package misses man pages
Date: Wed, 17 Aug 2016 22:42:54 -0400

On Wed, Aug 17, 2016 at 11:33:54AM +0200, Ludovic Courtès wrote:
> Leo Famulari <leo <at> famulari.name> skribis:
> > * gnu/packages/version-control.scm (git-manpages): Remove variable.
> > (git)[native-inputs]: Add GIT-MANPAGES.
> > [arguments]: Add 'install-man-pages' phase.
> 
> LGTM!  :-)

Pushed as d1cada045.

Previous Next

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