Skip to content

Commit 545c76c

Browse files
jensmaurertkoeppe
authored andcommitted
[check] Add check for spelling of concept names
1 parent ce78ece commit 545c76c

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

tools/check-source.sh

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -151,6 +151,9 @@ done |
151151
grep -F -ne ') const&' $texlib |
152152
fail 'no space between cv-qualifier and ref-qualifier' || failed=1
153153

154+
grep -n '\\\(def\)\?\(lib\|expos\)concept{[a-z0-9_-]*[^a-z0-9_}-][a-z0-9_-]*}' $texlib |
155+
fail 'bad concept name' || failed=1
156+
154157
# \begin{example/note} with non-whitespace in front on the same line.
155158
grep -ne '^.*[^ ]\s*\\\(begin\|end\){\(example\|note\)}' $texfiles |
156159
fail "non-whitespace before note/example begins" || failed=1

0 commit comments

Comments
 (0)