[MacPorts] #52178: gnutls: rename certtool man page

[MacPorts]

#52178: gnutls: rename certtool man page
-------------------------+--------------------
 Reporter:  raimue@…     |      Owner:  mps@…
     Type:  enhancement  |     Status:  new
 Priority:  Normal       |  Milestone:
Component:  ports        |    Version:  2.3.4
 Keywords:  haspatch     |       Port:  gnutls
-------------------------+--------------------
 The binary `certtool` in gnutls is being renamed to avoid shadowing
 `/usr/bin/certtool` provided by OS X with a different purpose. However,
 the man page is still being installed with the name `certtool`. The
 attached patch renames the man page as well.

-- 
Ticket URL: <https://trac.macports.org/ticket/52178>
MacPorts <https://www.macports.org/>
Ports system for macOS