[postgis-devel] manual-dev generation

[Sandro Santilli]

On Mon, Jun 19, 2017 at 03:39:47PM -0400, Regina Obe wrote:
> It updates after successful run of debbie's  trunk job.
> Looks like debbie's trunk job failed on PostgreSQL 10 run in topology.

Can we have docs update to run on every commit changing docs
which does NOT break docs building ?  I dunno if Jenkins can be
configured to that level of detail..

--strk;