[postgis-tickets] [PostGIS] #5101: manual-dev docs not building

[PostGIS]

#5101: manual-dev docs not building
------------------------+---------------------------
  Reporter:  robe       |      Owner:  robe
      Type:  defect     |     Status:  closed
  Priority:  medium     |  Milestone:  PostGIS 3.3.0
 Component:  buildbots  |    Version:  3.2.x
Resolution:  fixed      |   Keywords:
------------------------+---------------------------
Changes (by Regina Obe <lr@…>):

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


Comment:

 In [changeset:"cf22160c4e9661a48adde5341143c7d4521a41f3/git" cf22160/git]:
 {{{
 #!CommitTicketReference repository="git"
 revision="cf22160c4e9661a48adde5341143c7d4521a41f3"
 CHANGES:
 1) Make dist build docs against PostgreSQL 11 (was PG 9.6 which is no
 longer supported.  Closes #5101
 2) Add Doc / Make Dist badge to signal if doc building is broken.
 }}}

-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5101#comment:1>
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.