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
update-coverage.sh
Description: application/shellscript
