diff --git a/scripts/make-docs.sh b/scripts/make-docs.sh index 2744d0e6..08542587 100755 --- a/scripts/make-docs.sh +++ b/scripts/make-docs.sh @@ -41,3 +41,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