From 555026baf4293c120ac62d0761e1e219e5ce26a3 Mon Sep 17 00:00:00 2001 From: rueter Date: Sun, 18 Feb 2024 21:09:45 +0000 Subject: [PATCH] deploy: f50779f3279038acc05eb81d904e70859761a6a6 --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 8bf6626f..2bce38d9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -942,7 +942,7 @@ regenerate-markdown: generate-markdown # Generate endpoint json file for shield.io lemma count badge. # Only to be stored in the gh-pages branch, ignored in main. -$(srcdir)/lemmacount.json: $(top_srcdir)/src/fst/morphology/stems/*.lexc +$(srcdir)/lemmacount.json: $(AM_V_GEN)$(GTCORE)/scripts/make-lemmacount.json.sh $(abs_top_srcdir) > $@ # Generate a maturity.json file as endpoint for the maturity badge.