Opened 21 years ago

Closed 21 years ago

Last modified 21 years ago

#1799 closed defect (fixed)

fix location of man pages installed by jove port.

Reported by: vivek@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port:

Description

jove should install man pages to $prefix/share/man rather than $prefix/man.

Attachments (1)

jove.dport.patch (501 bytes) - added by vivek@… 21 years ago.
fixes man page location for jove port

Download all attachments as: .zip

Change History (2)

Changed 21 years ago by vivek@…

Attachment: jove.dport.patch added

fixes man page location for jove port

comment:1 Changed 21 years ago by matt@…

Resolution: fixed
Status: newclosed

Committed. Thanks Vivek!

Note: See TracTickets for help on using tickets.