[GRASS-dev] [GRASS GIS] #3936: Problems with man pages generated from HTML

[GRASS GIS]

#3936: Problems with man pages generated from HTML
--------------------------+---------------------------------
  Reporter:  jidanni      |      Owner:  grass-dev@…
      Type:  defect       |     Status:  closed
  Priority:  minor        |  Milestone:
 Component:  Docs         |    Version:  git-releasebranch78
Resolution:  invalid      |   Keywords:  manpages
       CPU:  Unspecified  |   Platform:  Linux
--------------------------+---------------------------------

Comment (by jidanni):

 OK. Done.

-- 
Ticket URL: <https://trac.osgeo.org/grass/ticket/3936#comment:2>
GRASS GIS <https://grass.osgeo.org>