[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
--------------------------+---------------------------------
Changes (by marisn):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 Please open separate tickets for each issue, as they seem to be different
 ones. Provide a description of issue in its text instead of an URL to some
 obscure downstream issue tracker.

 Before doing so, check if issues still apply in just released GRASS 7.8.1
 (see #3880).

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