diff options
author | Christian Brabandt <cb@256bit.org> | 2024-01-15 22:38:48 +0100 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-01-15 22:39:54 +0100 |
commit | 9c58191b34c5ccc847d8119f5055a9086980356c (patch) | |
tree | 7da27977ababbd58ff895eba60afee8f361d1847 | |
parent | a606f3ac036e5f3dc313f620e6b4bc00812314f9 (diff) |
CI: regenerate helptags, fix ci help tags job failing
Signed-off-by: Christian Brabandt <cb@256bit.org>
-rw-r--r-- | .github/workflows/ci.yml | 1 | ||||
-rw-r--r-- | runtime/doc/tags | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0efadcf9b9..7f789e8047 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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 diff --git a/runtime/doc/tags b/runtime/doc/tags index d7eb1dd7f8..9d12a3fd4b 100644 --- a/runtime/doc/tags +++ b/runtime/doc/tags @@ -1024,6 +1024,7 @@ $quote eval.txt /*$quote* 't_AU' term.txt /*'t_AU'* 't_BD' term.txt /*'t_BD'* 't_BE' term.txt /*'t_BE'* +'t_CF' term.txt /*'t_CF'* 't_CS' term.txt /*'t_CS'* 't_CV' term.txt /*'t_CV'* 't_Ce' term.txt /*'t_Ce'* @@ -10148,6 +10149,7 @@ t_AL term.txt /*t_AL* t_AU term.txt /*t_AU* t_BD term.txt /*t_BD* t_BE term.txt /*t_BE* +t_CF term.txt /*t_CF* t_CS term.txt /*t_CS* t_CTRL-W_. terminal.txt /*t_CTRL-W_.* t_CTRL-W_: terminal.txt /*t_CTRL-W_:* |