[elfutils-htdocs] Updated coverage (script)

[Mark Wielaard]

Hi,

I rearranged the coverage data files a little and turned Lukas' README
into a real script that does the coverage update. See the attached
update-coverage.sh. When there is a new release tagged in git, just
execute it inside the elfutils-htdocs checkout with ./update-coverage
<new-version>. Wait for the build and coverage update and then inspect
the generated commit before pushing it.

See https://sourceware.org/elfutils/coverage/ for the latest coverage
data and https://sourceware.org/elfutils/coverage-version/ for previous
coverage data versions.

Cheers,

Mark
-------------- next part --------------
A non-text attachment was scrubbed...
Name: update-coverage.sh
Type: application/x-shellscript
Size: 1404 bytes
Desc: not available
URL: <http://sourceware.org/pipermail/elfutils-devel/attachments/20180604/01cdaf40/attachment.bin>