create_site.bash (236B)
1 #!/bin/bash 2 set -euxo pipefail 3 4 # This script assumes that the current working directory is the repository 5 # root. 6 7 mkdir -p target 8 cp -r web/static target/github-pages 9 cargo doc --all-features 10 cp -r target/doc target/github-pages/docs