Re: [PATCH elfutils-htdocs] update-coverage.sh: use "make coverage"

[Mark Wielaard]

Hi Dmitry,

On Tue, 2021-01-12 at 07:29 +0300, Dmitry V. Levin wrote:
> The coverage report is now prepared by "make coverage".

This is obviously OK once the src coverage target goes in.

Thanks,

Mark