From 749f0bfbf06fc13505f706cd337c854f86ca4f64 Mon Sep 17 00:00:00 2001
From: bedroesb <bert.droesbeke@vib.be>
Date: Wed, 15 Jan 2025 11:10:23 +0100
Subject: [PATCH] print

---
 _includes/resource-table-all.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_includes/resource-table-all.html b/_includes/resource-table-all.html
index 6b6191c..88c0f31 100644
--- a/_includes/resource-table-all.html
+++ b/_includes/resource-table-all.html
@@ -16,6 +16,7 @@
 {%- endif %}
 {%- endfor %}
 {%- endunless %}
+tooltotal: {{tool_matches_total}}
 {%- unless tools.size == 0  and tool_matches_total == 0 %}
 {%- if include.tag and tools.size != 0 %}
 <a class="visually-hidden-focusable" href='#skip-tool-table'>Skip tool table</a>