Changes between Initial Version and Version 10 of Ticket #19405
- Timestamp:
- Aug 17, 2017, 11:23:30 PM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #19405
- Property Cc Peter.Danecek@… larryv@… added; maccheck@… removed
-
Property
Summary
changed from
git-core: move docs to new port
togit: move docs to new port
-
Property
Version
changed from
1.7.1
to -
Property
Milestone
changed from
Port Enhancements
to - Property Owner changed from bryan@… to ciserlohn@…
- Property Port git added; git-core removed
-
Ticket #19405 – Description
initial v10 1 In the interest of having fewer variants and making it easier to add/remove documentation to/from one's git installation, I propose that the +doc variant be deleted from the git -coreport and that a new port git-htmldocs be created. This name is based on the fact that the docs are distributed in a distfile whose name begins with "git-htmldocs". Or the port could be called "git-docs" (this would match enlightment-docs, gnucash-docs et al) or "git-doc" (this would match postgresql83-doc, python26-doc etc).1 In the interest of having fewer variants and making it easier to add/remove documentation to/from one's git installation, I propose that the +doc variant be deleted from the git port and that a new port git-htmldocs be created. This name is based on the fact that the docs are distributed in a distfile whose name begins with "git-htmldocs". Or the port could be called "git-docs" (this would match enlightment-docs, gnucash-docs et al) or "git-doc" (this would match postgresql83-doc, python26-doc etc).