From 31438a5fd7491d0c45b27dec2089f0e9b05305b8 Mon Sep 17 00:00:00 2001 From: flammie Date: Wed, 27 Mar 2024 13:47:09 +0000 Subject: [PATCH] deploy: 8e5b8f702c04d0a258b224950205bd6831d76a3a --- Makefile.in | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index b3a1459..fdf32f2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -940,7 +940,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. @@ -994,6 +994,7 @@ $(LINKS): d2=`echo "$$d" | cut -d '/' -f 2` ;\ d3=`echo "$$d" | cut -d '/' -f 3` ;\ d4=`echo "$$d" | cut -d '/' -f 4` ;\ + d5=`echo "$$d" | cut -d '/' -f 5` ;\ if test "x$$d1" != "x$$oldd1" ; then \ echo "* \`$$d1/\`" ;\ oldd1=$$d1 ;\ @@ -1016,6 +1017,12 @@ $(LINKS): echo " * \`$$d4/\`" ;\ oldd4=$$d4 ;\ fi ; \ + if test "x$$d5" = x -a "x$$d4" != x ; then \ + echo " * [$$docname]($$html) ([src]($(REPOURL)/$$doc))" ;\ + elif test "x$$d5" != "x$$oldd5" ; then \ + echo " * \`$$d5/\`" ;\ + oldd5=$$d5 ;\ + fi ; \ done > $@ empty.md: