#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 20 years ago by vivek@…
| Attachment: | jove.dport.patch added |
|---|
comment:1 Changed 20 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