[postgis-tickets] [PostGIS] #5555: Chunked HTML manual main table of contents is very big

[PostGIS]

#5555: Chunked HTML manual main table of contents is very big
----------------------+---------------------------
  Reporter:  chrism   |      Owner:  pramsey
      Type:  defect   |     Status:  new
  Priority:  medium   |  Milestone:  PostGIS 3.5.0
 Component:  postgis  |    Version:  master
Resolution:           |   Keywords:
----------------------+---------------------------
Comment (by strk):

 What changed is that all "sect#" elements were converted to "section"
 (unnumbered)
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5555#comment:2>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.