From 1e5dba0bfad033970f39673ea2b7eda3f922a248 Mon Sep 17 00:00:00 2001
From: rueter <rueter@users.noreply.github.com>
Date: Thu, 10 Oct 2024 13:46:21 +0000
Subject: [PATCH] deploy: e8951c6e24e523bd56c9fe30a43727b296e2e32e

---
 Makefile.in     | 4 ++--
 lemmacount.json | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index a0bd130..e45e272 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1063,7 +1063,7 @@ clean-local:
 devtest: devtest-recursive
 
 devtest-recursive:
-	-for subdir in $(SUBDIRS); do \
+	@-for subdir in $(SUBDIRS); do \
 		if test "$$subdir" = . ; then \
 			continue; \
 		else   \
@@ -1073,7 +1073,7 @@ devtest-recursive:
 	$(MAKE) $(AM_FLAGS) devtest-local
 
 devtest-local:
-	-for t in $(TESTS) ; do \
+	@-for t in $(TESTS) ; do \
 		echo "TEST: $$t" ;\
 		if test -f "./$$t" ; then \
 			srcdir=$(srcdir) GIELLA_CORE=$(GIELLA_CORE) "./$$t" ;\
diff --git a/lemmacount.json b/lemmacount.json
index 51f0814..dbfab05 100644
--- a/lemmacount.json
+++ b/lemmacount.json
@@ -1 +1 @@
-{ "schemaVersion": 1, "label": "Lemmas", "message": "149", "color": "black" }
+{ "schemaVersion": 1, "label": "Lemmas", "message": "159", "color": "black" }