Opened 21 years ago

Closed 21 years ago

Last modified 20 years ago

#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)

Portfile.patch (1.6 KB) - added by simon@… 21 years ago.
Portfile patch
jhead.new.patch (606 bytes) - added by simon@… 21 years ago.
patch to gunzip man page and install

Download all attachments as: .zip

Change History (6)

Changed 21 years ago by simon@…

Attachment: Portfile.patch added

Portfile patch

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: newassigned

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: assignedclosed

Committed. Thanks, -rshaw

Note: See TracTickets for help on using tickets.