#!/bin/bash set -eu set -o pipefail DOC_FOLDER="target/doc" # Create redirect index.html cat > "$DOC_FOLDER/index.html" < Redirect EOF # Create marker file to indicate not using Jekyll touch "$DOC_FOLDER/.nojekyll"