[MacPorts] #54231: mercury @14.01.1_0 install {info, man} under /opt/local
MacPorts
noreply at macports.org
Thu May 25 15:02:34 UTC 2017
#54231: mercury @14.01.1_0 install {info,man} under /opt/local
--------------------------+-----------------
Reporter: jxy | Owner:
Type: enhancement | Status: new
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords:
Port: mercury |
--------------------------+-----------------
Changes (by jxy):
* Attachment "mercury_r1.patch" added.
patch to fix install location of info and man
--
Ticket URL: <https://trac.macports.org/ticket/54231>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list