tags.html: filter by whole tag, not just name

diff --git a/.ci/tags.html b/.ci/tags.html
index c62f1889dd3de09eddf7889fd0f7ef428b71afa1..c1b8798f32d978850b3ad703f2fb8755b09a2e7a 100644 (file)
--- a/.ci/tags.html
+++ b/.ci/tags.html
@@ -381,7 +381,7 @@ function axesCombos(axes) {
         if (this.currentCategory !== " All") {
           filtered = filtered.filter(family => family.category === this.currentCategory);
         }
-        filtered = filtered.filter(family => family.name.toLowerCase().includes(this.tagFilter.toLowerCase()));
+        filtered = filtered.filter(family => family.tag.toLowerCase().includes(this.tagFilter.toLowerCase()));
         filtered.sort(sortFunc);
 
         if (this.reverseTags) {