From e45e41adb457d90db1b4c281275779f44f9d6157 Mon Sep 17 00:00:00 2001 From: Matthias Date: Thu, 13 Aug 2020 08:05:05 +0200 Subject: [PATCH] Improve docs test to catch !!! errors --- tests/test_docs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/test_docs.sh b/tests/test_docs.sh index 09e142b99..8a354daad 100755 --- a/tests/test_docs.sh +++ b/tests/test_docs.sh @@ -2,7 +2,8 @@ # Test Documentation boxes - # !!! : is not allowed! # !!! "title" - Title needs to be quoted! -grep -Er '^!{3}\s\S+:|^!{3}\s\S+\s[^"]' docs/* +# !!! Spaces at the beginning are not allowed +grep -Er '^!{3}\s\S+:|^!{3}\s\S+\s[^"]|^\s+!{3}\s\S+' docs/* if [ $? -ne 0 ]; then echo "Docs test success."