#997 closed defect (fixed)
jhead Portfile patch - mv docs to share/doc and general tidy
| Reported by: | simon@… | Owned by: | rshaw@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.0 |
| Keywords: | Cc: | fkr@… | |
| Port: |
Description
I'd installed docs in ${prefix}/doc/${portname} this patch corrects the portfile to install the docs in ${prefix}/share/doc/${portname}. Also some pedantic tidying up.
Attachments (2)
Change History (6)
Changed 21 years ago by simon@…
| Attachment: | Portfile.patch added |
|---|
comment:1 Changed 21 years ago by rshaw@…
| Cc: | fkr@… added |
|---|
The changes you made are fine, however, I just noticed that you are installing a gzipped man page. I believe the norm is to install non-gzipped man pages.
Felix, Can you comment on this? Should this be changed to install a non-gzipped man page?
-rshaw
comment:2 Changed 21 years ago by rshaw@…
| Owner: | changed from darwinports-bugs@… to rshaw@… |
|---|
doc to share/doc patch committed. still waiting on gzip man page comment. -rshaw
comment:3 Changed 21 years ago by rshaw@…
| Status: | new → assigned |
|---|
Changed 21 years ago by simon@…
| Attachment: | jhead.new.patch added |
|---|
patch to gunzip man page and install
comment:4 Changed 21 years ago by rshaw@…
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Committed. Thanks, -rshaw
Note: See
TracTickets for help on using
tickets.
Portfile patch