#!/bin/bash
# Copyright (c) Microsoft Corporation.
# Licensed under the MIT License.

git stash
cargo doc --no-deps
git checkout docs
rm -rf docs
cp -r target/x86_64-unknown-linux-musl/doc ./docs
echo "<meta http-equiv=\"refresh\" content=\"0; url=regorus/index.html\">" > docs/index.html
git add docs
git commit -s
git push
git checkout -
git stash pop
