New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #12278 (closed enhancement: fixed)

Opened 6 years ago

Last modified 4 years ago

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

git-core_make_doc_default_variant.diff (484 bytes) - added by boeyms@… 6 years ago.

Change History

Changed 6 years ago by boeyms@…

comment:1 Changed 6 years ago by boeyms@…

  • Status changed from new to closed
  • Resolution set to fixed

Committed in r27084 (updated for latest git-core version). Thanks to the maintainer for approving this patch.

comment:2 Changed 6 years ago by nox@…

  • Priority changed from Nice to have to Low
  • Version 1.5 deleted

comment:3 Changed 4 years ago by anonymous

  • Milestone Port Enhancements deleted

Milestone Port Enhancements deleted

Note: See TracTickets for help on using tickets.