[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:  haspatch
      Port:  mercury      |
--------------------------+----------------------

Comment (by mf2k):

 Should it be {{{destroot.args-append}}} instead of {{{destroot.args}}} to
 not overwrite the [https://guide.macports.org/#reference.phases.destroot
 defaults]?

--
Ticket URL: <https://trac.macports.org/ticket/54231#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS