From 8049a70925789e84d592af178873a8988cd80065 Mon Sep 17 00:00:00 2001
From: Jan Frenzel <jan.frenzel@tu-dresden.de>
Date: Tue, 23 Nov 2021 10:37:40 +0100
Subject: [PATCH] Added more variations of "todo" to rules in
 grep-forbidden-patterns.sh.

---
 doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
index e4786c07e..ae970ab6b 100755
--- a/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
+++ b/doc.zih.tu-dresden.de/util/grep-forbidden-patterns.sh
@@ -37,9 +37,9 @@ i	attachurl
 Replace \"todo\" with real content.
 
 i	\<todo\>	<!--.*todo.*-->
-Replace \"Coming soon\" with real content.
+Replace variations of \"Coming soon\" with real content.
 
-i	\<coming soon\>
+i	\(\<coming soon\>\|This .* under construction\|posted here\)
 Avoid spaces at end of lines.
 
 i	[[:space:]]$
-- 
GitLab