[postgis-devel] manual-dev generation
Regina Obe
lr at pcorp.us
Mon Jun 19 13:01:40 PDT 2017
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;
More information about the postgis-devel
mailing list