also spell-check *.md files

.gitlab-ci.yml

@@ -130,9 +130,9 @@ spell-check:
   extends:  
     - .not_in_wip_branches  
   stage: build
-  image: bbbrandenburg/aspell-ci
+  image: bbbrandenburg/aspell-ci:2023-03
   script:
-    - scripts/flag-typos-in-comments.sh `find .  -iname '*.v'`
+    - make spell
 
 # mathcomp-dev with stable Coq
 #coq-8.15:

Makefile

@@ -81,7 +81,8 @@ macos-clean:
 	@find . -depth -iname '.DS_Store' ! -path './.git/*' -delete
 
 spell:
-	./scripts/flag-typos-in-comments.sh `find .  -iname '*.v'`
+	./scripts/flag-typos-in-comments.sh `find . -iname '*.v'`
+	./scripts/flag-typos-in-Markdown.sh `find . -iname '*.md'`
 
 distclean: cleanall
 	$(RM) $(COQ_PROJ)

scripts/flag-typos-in-Markdown.sh

+#!/bin/sh
+
+EXIT=0
+
+KNOWN_EXCEPTIONS=./scripts/wordlist.pws
+
+while ! [ -z "$1" ]
+do
+	MD="$1"
+		
+	for WORD in $(cat "$1" \
+	    | aspell --mode=markdown --add-extra-dicts=$KNOWN_EXCEPTIONS -l en list \
+		| sort \
+		| uniq)
+	do
+		echo "$MD: potentially misspelled word '$WORD'"
+		EXIT=1
+	done
+	shift
+done
+exit $EXIT