update: building config

Author: Chivier

.github/workflows/update_docs.yml

@@ -69,7 +69,6 @@ jobs:
           
           # Copy built documentation
           cp -r ../_build/* .
-          cp -r ../_build/html docs
           
           # Configure git
           git config user.name "${GIT_USER_NAME}"

build_html.sh

@@ -9,3 +9,4 @@ d2lbook build html
 cp -r static/image _build/html/_static
 cp -r static/* _build/html/_static
 python3 tools/format_tables.py
+cp -r html docs