Merge branch 'remove-directory-after-link-check' into 'preview'

Remove generated directory 'public' after link check. See merge request !581

Merge branch 'remove-directory-after-link-check' into 'preview'
3b63396b · Taras Lazariv · 661d9aa9 · 6be73f34 · 3b63396b
Commit 3b63396b authored 2 years ago by Taras Lazariv
--- a/doc.zih.tu-dresden.de/util/check-links.sh
+++ b/doc.zih.tu-dresden.de/util/check-links.sh
@@ -6,3 +6,4 @@ set -eo pipefail

 export ENABLED_HTMLPROOFER=true
 mkdocs build
+rm -rf public