[MacPorts] #61288: graphviz-devel has faulty man entry

[MacPorts]

#61288: graphviz-devel has faulty man entry
-----------------------+----------------------------
 Reporter:  ballapete  |      Owner:  (none)
     Type:  defect     |     Status:  new
 Priority:  Normal     |  Milestone:
Component:  ports      |    Version:  2.6.3
 Keywords:  catalina   |       Port:  graphviz-devel
-----------------------+----------------------------
 {{{
 pete 311 /\ apropos something
 makewhatis: /opt/local/share/man/man1/dot2gxl.1: No such file or directory
 something: nothing appropriate
 }}}

 {{{
 pete 314 /\ l /opt/local/share/man/man1/{dot,gv}*
 -r--r--r--  1 root  wheel   9794  6 Sep 11:59
 /opt/local/share/man/man1/dot.1.gz
 lrwxr-xr-x  1 root  wheel      8  6 Sep 11:59
 /opt/local/share/man/man1/dot2gxl.1 -> gv2gxl.1        <====
 lrwxr-xr-x  1 root  wheel     11 10 Jul 22:04
 /opt/local/share/man/man1/dot2gxl.1.gz -> gv2gxl.1.gz  <====
 -r--r--r--  1 root  wheel    772  6 Sep 11:59
 /opt/local/share/man/man1/dotty.1.gz
 lrwxr-xr-x  1 root  wheel     11  6 Sep 12:00
 /opt/local/share/man/man1/gv2gml.1.gz -> gml2gv.1.gz
 lrwxr-xr-x  1 root  wheel     11  6 Sep 12:00
 /opt/local/share/man/man1/gv2gxl.1.gz -> gxl2gv.1.gz
 -r--r--r--  1 root  wheel   1113  6 Sep 11:59
 /opt/local/share/man/man1/gvcolor.1.gz
 -r--r--r--  1 root  admin   3252  6 Mär  2020
 /opt/local/share/man/man1/gvdir.1.gz
 -r--r--r--  1 root  wheel   1528  6 Sep 11:59
 /opt/local/share/man/man1/gvgen.1.gz
 -r--r--r--  1 root  wheel   2376  6 Sep 11:59
 /opt/local/share/man/man1/gvmap.1.gz
 -r--r--r--  1 root  wheel   1209  6 Sep 11:59
 /opt/local/share/man/man1/gvmap.sh.1.gz
 -r--r--r--  1 root  wheel   1795  6 Sep 11:59
 /opt/local/share/man/man1/gvpack.1.gz
 -r--r--r--  1 root  wheel  12664  6 Sep 11:59
 /opt/local/share/man/man1/gvpr.1.gz
 }}

 The manual entry obviously has become a compressed file now. Seems to be a
 mistake in the package itself and not in `Portfile`.

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