From 4be61c8e6982aa70d5995d83eeb0dfcaa3c8760e Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Mon, 13 Mar 2023 07:12:54 +0100 Subject: [PATCH] [check] Add check for i.e. and e.g. followed by comma --- tools/check-source.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/tools/check-source.sh b/tools/check-source.sh index 415f6221d3..3af7f80691 100755 --- a/tools/check-source.sh +++ b/tools/check-source.sh @@ -189,6 +189,13 @@ for f in $texfiles; do done | fail '"shall", "should", or "may" inside a note' || failed=1 +# Comma after e.g. and i.e. +grep -n "e\.g\.[^,]" $texfiles | + fail '"e.g." must be followed by a comma' +grep -n "i\.e\.[^,]" $texfiles | + fail '"i.e." must be followed by a comma' + + # \logop should use lowercase arguments grep -n '\\logop{[^}]*[^andor}][^}]*}' $texfiles | fail 'bad argument for \\logop' || failed=1