git: move docs to new port
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).
Change History (11)
Milestone: |
Port Enhancements
|
Cc: |
maccheck@… removed
|
Owner: |
changed from bryan@… to maccheck@…
|
Owner: |
changed from maccheck@… to ciserlohn@…
|
Cc: |
Peter.Danecek@… added
|
Cc: |
Peter.Danecek@… removed
|
Cc: |
Peter.Danecek@… added
|
Port: |
git added; git-core removed
|
Summary: |
git-core: move docs to new port →
git: move docs to new port
|
Version: |
1.7.1
|
Description: |
modified (diff)
|
I'm no insider in the whole MacPorts ports development system. Hence I would appreciate if somebody can volunteer in restructuring the portfiles. If that's accomplished I'm willing to maintain these ports to keep them current. (as I do with it with git-core now)