Rename aster-frame to ostd

This commit is contained in:
Jianfeng Jiang
2024-06-19 08:18:39 +00:00
committed by Tate, Hongliang Tian
parent fb59fa7a55
commit 59350a8578
300 changed files with 425 additions and 427 deletions

View File

@ -38,11 +38,11 @@ validate_parameter() {
fi
}
# Build documentation of aster-frame
# Build documentation of ostd
build_api_docs() {
cd "${ASTER_SRC_DIR}"
make install_osdk
cd "${ASTER_SRC_DIR}/framework/aster-frame"
cd "${ASTER_SRC_DIR}/ostd"
cargo osdk doc
}
@ -84,7 +84,7 @@ update_nightly_doc() {
git checkout --orphan new_branch
rm -rf *
cp -r ${ASTER_SRC_DIR}/target/x86_64-unknown-none/doc/* ./
generate_redirect_index_html "https://asterinas.github.io/api-docs-nightly/aster_frame"
generate_redirect_index_html "https://asterinas.github.io/api-docs-nightly/ostd"
git add .
git commit -am "Update nightly API docs"
git branch -D main
@ -100,7 +100,7 @@ update_release_doc() {
git rm -rf --ignore-unmatch "${VERSION}"
mkdir "${VERSION}"
cp -r ${ASTER_SRC_DIR}/target/x86_64-unknown-none/doc/* ${VERSION}/
generate_redirect_index_html "https://asterinas.github.io/api-docs/${VERSION}/aster_frame"
generate_redirect_index_html "https://asterinas.github.io/api-docs/${VERSION}/ostd"
git add .
git commit -am "Update API docs to v${VERSION}"
GIT_SSH_COMMAND="ssh -i ${SSH_KEY_FILE} -o UserKnownHostsFile=${KNOWN_HOSTS_FILE}" git push -f origin main