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