CI: regenerate helptags, fix ci help tags job failing

Signed-off-by: Christian Brabandt <cb@256bit.org>
This commit is contained in:
Christian Brabandt
2024-01-15 22:38:48 +01:00
parent a606f3ac03
commit 9c58191b34
2 changed files with 3 additions and 0 deletions

View File

@ -270,6 +270,7 @@ jobs:
git diff --exit-code -- tags
make html; rm *.html tags.ref;
test -f errors.log && exit 3;
true
)
- name: Generate gcov files