Change base URL path for Docker container

Author: ethanjli

.github/workflows/build-docker.yml

@@ -68,8 +68,10 @@ jobs:
 
       - name: Build documentation
         env:
-          # Container image should be built with `/docs` as the base URL instead of `/`:
-          BASE_URL: '/docs/'
+          # Container image should be built with `/openUC2` as the base URL instead of `/`, as the
+          # self-contained root of the site. We use `/openUC2/` instead of `/docs/` as the root so
+          # that we don't have pages in `/docs/docs/`, but instead we have them in `/openUC2/docs/`.
+          BASE_URL: '/openUC2/'
         run: |
           npm run build