[MacPorts] #54231: mercury @14.01.1_0 install {info, man} under /opt/local

[MacPorts]

#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