Kévin Redon d14970f95b publish: also upload latest ...

the jenkins script will now upload the versioned output to the
all directory, and a copy named "latest" in the latest directory.

Change-Id: I70114ef8414779e369da5cbf945854c9ace3464e

2019-08-01 17:23:23 +02:00

..

jenkins.sh

publish: also upload latest

2019-08-01 17:23:23 +02:00