From 9c970c0326ead626c3d7fb9dae1eae79da4fdeb3 Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Sun, 20 Aug 2023 08:03:30 +0200
Subject: [PATCH] coverage.sh: check whether wiki is up-to-date if run on
 developer machine

---
 coverage.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/coverage.sh b/coverage.sh
index 4b675e8..194ba80 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -95,4 +95,11 @@ END
 	echo
 fi
 
+# check if the wiki has to be updated with pod2markdown output
+if [ "${DEBEMAIL:-}" = "josch@debian.org" ]; then
+	bash -exc "diff -u <(curl --silent https://gitlab.mister-muffin.de/josch/mmdebstrap/wiki/raw/Home | dos2unix) <(pod2markdown < mmdebstrap)" || :
+fi
+
 rm -f shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/tarfilter shared/proxysolver
+
+echo "$0 finished successfully" >&2