From 58c8fbdf76af73f6083dd22d87d39396f111b9da Mon Sep 17 00:00:00 2001
From: Martin Schroschk <martin.schroschk@tu-dresden.de>
Date: Thu, 18 Apr 2024 14:05:55 +0200
Subject: [PATCH] Resolve #484
---
doc.zih.tu-dresden.de/util/check-links.sh | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh
index 9a2a52829..ca91a0212 100755
--- a/doc.zih.tu-dresden.de/util/check-links.sh
+++ b/doc.zih.tu-dresden.de/util/check-links.sh
@@ -25,7 +25,7 @@ while getopts ":a" option; do
case ${option} in
a)
export ENABLED_HTMLPROOFER_EXTERNAL_URLS=true
- echo "Checking internal and external links. Might take some time."
+ echo "Info: Checking internal and external links. Might take some time."
;;
h)
usage
@@ -37,5 +37,10 @@ while getopts ":a" option; do
esac
done
+# Switch for wikiscript
+if [ -d "doc.zih.tu-dresden.de" ]; then
+ cd doc.zih.tu-dresden.de
+fi
+
mkdocs build
rm -rf public
--
GitLab