diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 14c05c04d3f..1a789899053 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -3,8 +3,8 @@ "build": { "dockerfile": "../docker/image/Dockerfile" }, - "workspaceMount": "source=${localWorkspaceFolder},target=/tmp/doc_repository,type=bind", - "workspaceFolder": "/tmp/doc_repository", + "workspaceMount": "source=${localWorkspaceFolder},target=/workspaces/doc_repository,type=bind", + "workspaceFolder": "/workspaces/doc_repository", "postCreateCommand": "pip3 install --no-warn-script-location --user --break-system-packages -r requirements.txt -c constraints.txt", "features": { "ghcr.io/devcontainers/features/git:1": {} diff --git a/conf.py b/conf.py index e16ca0f3852..ef0c381bec1 100644 --- a/conf.py +++ b/conf.py @@ -172,7 +172,7 @@ # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -html_static_path = [os.path.abspath('source/_static')] +html_static_path = ['source/_static'] # Drop any source link suffix html_sourcelink_suffix = ''