#12278 closed enhancement (fixed)
RFE: Make devel/git-core install HTML documentation by default.
| Reported by: | boeyms@… | Owned by: | boeyms@… |
|---|---|---|---|
| Priority: | Low | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | git-core HTML documentation default variant | Cc: | bryan@…, boeyms@… |
| Port: |
Description
This patch does what the summary says; it seems to me that, by default, git users ought to have all the help that the git developers offer :)
This patch may be applied with -p1 from trunk/. I will not commit this patch myself without acceptance from the maintainer.
Attachments (1)
Change History (4)
Changed 17 years ago by boeyms@…
| Attachment: | git-core_make_doc_default_variant.diff added |
|---|
comment:1 Changed 17 years ago by boeyms@…
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:2 Changed 17 years ago by nox@…
| Priority: | Nice to have → Low |
|---|---|
| Version: | 1.5 |
comment:3 Changed 16 years ago by (none)
| Milestone: | Port Enhancements |
|---|
Milestone Port Enhancements deleted
Note: See
TracTickets for help on using
tickets.
Committed in r27084 (updated for latest git-core version). Thanks to the maintainer for approving this patch.