diff --git a/scripts/build_docs.sh b/scripts/build_docs.sh index 61bbcb23e1..b8a73b5b84 100755 --- a/scripts/build_docs.sh +++ b/scripts/build_docs.sh @@ -84,6 +84,9 @@ if [[ $BUILD_STATIC == true ]]; then echo "Building static site" echo "-----------------------------------" yarn build + # hack to correct logo since docusaurus messes it up during build + # This needs to be done until https://github.com/facebook/Docusaurus/issues/1427 is fixed + cp static/img/botorch_logo_lockup_white.svg build/botorch/img/botorch_logo_lockup_white.svg else echo "-----------------------------------" echo "Starting local server" diff --git a/website/package.json b/website/package.json index 7d66debef6..e2dbb5afba 100644 --- a/website/package.json +++ b/website/package.json @@ -9,6 +9,6 @@ "rename-version": "docusaurus-rename-version" }, "devDependencies": { - "docusaurus": "^1.7.2" + "docusaurus": "^1.9.0" } }