diff --git a/doc.zih.tu-dresden.de/util/check-links.sh b/doc.zih.tu-dresden.de/util/check-links.sh index 9a2a5282941c2a7a8e186762994e67542fec4131..ca91a0212403a4c918b6fb115a21920c098dc545 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