[postgis-devel] manual-dev generation

[Sandro Santilli]

On Mon, Jun 19, 2017 at 04:01:40PM -0400, Regina Obe wrote:
> 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?

SVN ? I thought Jenkins was now using GIT ?
Either way, yes I can think of a script as long as the script knows
the revision number (or better GIT commit hash) of the last version
for which docs were built and uploaded successfully (a first step
could be storing this number somewhere at the end of the upload
process...)

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

Sounds like a good first step.

--strk;