[postgis-devel] manual-dev generation

[Regina Obe]

That would save some cycles.  Not sure off-hand how to detect that.

Can you think of a shell way of doing that and maybe we can make a
make_change_doc.sh that we run as part of this that only doesn't something
if svn pulled an update in docs folder?

Then we can split the doc build from regular build.

Alternatively I could have docs build even if the job fails.

-----Original Message-----
From: strk at kbt.io [mailto:strk at kbt.io] 
Sent: Monday, June 19, 2017 3:49 PM
To: Regina Obe <lr at pcorp.us>
Cc: postgis-devel at lists.osgeo.org
Subject: Re: manual-dev generation

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;