[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:  new
 Priority:  minor     |  Milestone:
Component:  Docs      |    Version:  git-releasebranch78
 Keywords:  manpages  |        CPU:  Unspecified
 Platform:  Linux     |
----------------------+---------------------------------
 - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944413
 - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944415
 - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=944416


 are problems with man pages generated from HTML.

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