FS#58488 - [git] html docs are installed for contrib/subtree

Attached to Project: Arch Linux
Opened by Rafael (rafasc) - Monday, 07 May 2018, 19:13 GMT
Last edited by Christian Hesse (eworm) - Sunday, 09 December 2018, 22:25 GMT
Task Type General Gripe
Category Packages: Extra
Status Closed
Assigned To Christian Hesse (eworm)
Architecture All
Severity Very Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

contrib/subtree's `install-doc` target, installs both html and manpages.
If only manpages are intended, `install-man` should be used instead.

This came up on irc when discussing if html docs should be provided by extra/git (in order to not break $git help -w git) or if they should be provided separately.



This task depends upon

Closed by  Christian Hesse (eworm)
Sunday, 09 December 2018, 22:25 GMT
Reason for closing:  Fixed
Additional comments about closing:  git 2.20.0-1
Comment by Eli Schwartz (eschwartz) - Monday, 07 May 2018, 19:59 GMT
Yup, having just the one file there is quite inconsistent.

Though as I said on IRC, I'm personally of the opinion that the extra space is not merited just to duplicate documentation already available as manpages.
Comment by Rafael (rafasc) - Monday, 07 May 2018, 20:11 GMT
Html documentation is built, the package just doesn't install it.

If size/documentation duplication is a concern, we could make a split package named git-htmldocs. And let the user choose if he wants it on his system.

Otherwise might as well change the "make doc" in build() to "make man".

Loading...