#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)
Change History (2)
Changed 21 years ago by vivek@…
Attachment: | jove.dport.patch added |
---|
comment:1 Changed 21 years ago by matt@…
Resolution: | → fixed |
---|---|
Status: | new → closed |
Committed. Thanks Vivek!
Note: See
TracTickets for help on using
tickets.
fixes man page location for jove port