On 05/19/2016 02:28 AM, Zbigniew Jędrzejewski-Szmek wrote:
On Wed, May 18, 2016 at 10:13:55AM -0500, Michael Catanzaro wrote:
On Wed, 2016-05-18 at 08:23 -0400, Stephen Gallagher wrote:
Is git-core-doc a strict requirement? (If it was, I would think that git-core would be requiring it, not 'git'). Maybe we could make that a Recommends: and not include it on the install media? That certainly seems like the largest savings.
Of course, the obvious tradeoff is the lack of documentation...
Is it required for 'git help' to work?
Yes, git help just shows the man pages, which are in git-core-doc.
The manual pages are only a small part of git-core-doc, though:
13276 usr/share/doc 984 usr/share/man
Would it make sense to split them into their own package (perhaps for Fedora 26)?
Florian
On Sat, May 21, 2016 at 08:52:53PM +0200, Florian Weimer wrote:
On 05/19/2016 02:28 AM, Zbigniew Jędrzejewski-Szmek wrote:
On Wed, May 18, 2016 at 10:13:55AM -0500, Michael Catanzaro wrote:
On Wed, 2016-05-18 at 08:23 -0400, Stephen Gallagher wrote:
Is git-core-doc a strict requirement? (If it was, I would think that git-core would be requiring it, not 'git'). Maybe we could make that a Recommends: and not include it on the install media? That certainly seems like the largest savings.
Of course, the obvious tradeoff is the lack of documentation...
Is it required for 'git help' to work?
Yes, git help just shows the man pages, which are in git-core-doc.
The manual pages are only a small part of git-core-doc, though:
13276 usr/share/doc 984 usr/share/man
Would it make sense to split them into their own package (perhaps for Fedora 26)?
Or maybe just move them to git-core? Keeping man pages in the main package is the usual solution.
Zbyszek
desktop@lists.fedoraproject.org
-
Florian Weimer -
Zbigniew Jędrzejewski-Szmek