diff --git a/scripts/make-docs.sh b/scripts/make-docs.sh index 121ae0f6..2e07c288 100755 --- a/scripts/make-docs.sh +++ b/scripts/make-docs.sh @@ -40,3 +40,15 @@ fi /usr/bin/swift package ${opts[@]} echo '{}' > "$1/theme-settings.json" + +cat > "$1/index.html" <<'EOF' + + + + + + +

If you are not redirected automatically, click here.

+ + +EOF