[elfutils-htdocs] Updated coverage (script)

[Mark Wielaard <mark at klomp dot org>]

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

Attachment: update-coverage.sh
Description: application/shellscript