diff options
Diffstat (limited to 'script/check-links')
-rwxr-xr-x | script/check-links | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/script/check-links b/script/check-links deleted file mode 100755 index e745f78..0000000 --- a/script/check-links +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh - -set -o errexit -set -o nounset -set -o xtrace - -cabal v2-run exe:site -- rebuild -lychee \ - --exclude-link-local \ - --exclude-loopback \ - --exclude-mail \ - --exclude-private \ - --format detailed \ - --verbose \ - _site/ |