docs: Keep language selected. (closes #13)

Author: Denis Navarro

.github/workflows/cd.yml

@@ -30,7 +30,7 @@ jobs:
         run: |
           git config user.name ${{ github.actor }}
           git commit . -m "release: v${VERSION}"
-          git push origin master
+          git push origin main
           git tag $VERSION
           git push origin $VERSION
           python3 run-script deploy

.github/workflows/ci.yml

@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - main
-      - master
   pull_request:
 
 jobs:

Dockerfile

@@ -21,7 +21,6 @@ COPY .pre-commit-config.yaml run-script ./
 
 RUN python3 run-script dev-install
 
-COPY docs ./docs
 COPY docs_src ./docs_src
 COPY tests ./tests
 

docs

@@ -0,0 +1 @@
+./docs_src/generated