diff --git a/.github/workflows/github_action_build_docs.yml b/.github/workflows/github_action_build_docs.yml index aec6c02365..6c717b2926 100644 --- a/.github/workflows/github_action_build_docs.yml +++ b/.github/workflows/github_action_build_docs.yml @@ -49,13 +49,13 @@ jobs: evennia --init gamedir cd gamedir evennia migrate + git fetch origin develop + git fetch origin v0.9.5:v0.9.5 + git config --global user.email "docbuilder@evennia.com" + git config --global user.name "Evennia docbuilder action" - name: Build and deploy docs (only from master/develop branch) if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}} run: | - git fetch origin develop - git fetch origin v0.9.5 - git config --global user.email "docbuilder@evennia.com" - git config --global user.name "Evennia docbuilder action" cd docs make release diff --git a/docs/Makefile b/docs/Makefile index 748dd61c9e..92780c2e48 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,6 +3,7 @@ SOURCEDIR = source BUILDDIR = build AUTODOCDIR = $(SOURCEDIR)/api + # You can set these variables from the command line, and also # from the environment for the first two. SPHINXOPTS ?=