diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0efadcf..7f789e8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -270,6 +270,7 @@
             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 d7eb1dd..9d12a3f 100644
--- a/runtime/doc/tags
+++ b/runtime/doc/tags
@@ -1024,6 +1024,7 @@
 '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_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_:*