Fix #707 - Fix some duplicate tags, and add some code to check for them

1 files changed, 8 insertions, 0 deletions

diff --git a/run-tests b/run-tests
index 4ee6f892..92dca319 100755
--- a/run-tests
+++ b/run-tests
@@ -194,6 +194,14 @@ if ((run_custom_checks)); then
     docker run -a stdout "${DOCKER_FLAGS[@]}" ./custom-checks . || EXIT=$?
     set +o pipefail
     echo
+
+    echo '========================================'
+    echo 'Checking for duplicate tags'
+    echo '========================================'
+    echo 'Duplicate tags follow:'
+    echo
+
+    grep --exclude=tags -roh '\*.*\*$' doc | sort | uniq -d || EXIT=$?
 fi
 
 exit $EXIT