mirror of
https://github.com/evennia/evennia.git
synced 2026-03-16 21:06:30 +01:00
Better filtering of build action
This commit is contained in:
parent
3aeb9b43f3
commit
68f6eabd9b
3 changed files with 7 additions and 5 deletions
|
|
@ -6,11 +6,11 @@ on:
|
|||
push:
|
||||
branches: [ master, develop ]
|
||||
paths:
|
||||
- 'docs/source/**'
|
||||
- 'docs/**'
|
||||
pull_request:
|
||||
branches: [ master, develop ]
|
||||
paths:
|
||||
- 'docs/source/**'
|
||||
- 'docs/**'
|
||||
|
||||
jobs:
|
||||
build:
|
||||
|
|
@ -53,6 +53,8 @@ jobs:
|
|||
- name: Deploy docs (only from master/develop branch)
|
||||
if: ${{ github.ref == 'refs/heads/develop' || github.ref == 'refs/heads/master'}}
|
||||
run: |
|
||||
git config --global user.email "docbuilder@evennia.com"
|
||||
git config --global user.name "Doc builder mechanism"
|
||||
cd docs
|
||||
make mv-local
|
||||
echo "Would deploy here!"
|
||||
|
|
|
|||
|
|
@ -7,7 +7,7 @@ on:
|
|||
push:
|
||||
branches: [ master, develop ]
|
||||
paths-ignore:
|
||||
- 'docs/source/**'
|
||||
- 'docs/**'
|
||||
pull_request:
|
||||
branches: [ master, develop ]
|
||||
|
||||
|
|
|
|||
|
|
@ -20,7 +20,7 @@ author = "The Evennia developer community"
|
|||
|
||||
# The full Evennia version covered by these docs, including alpha/beta/rc tags
|
||||
# This will be used for multi-version selection options.
|
||||
release = "0.9.1"
|
||||
release = "0.9.5"
|
||||
|
||||
|
||||
# -- General configuration ---------------------------------------------------
|
||||
|
|
@ -316,7 +316,7 @@ def setup(app):
|
|||
|
||||
# build toctree file
|
||||
sys.path.insert(1, os.path.join(os.path.dirname(os.path.dirname(__file__)), "docs"))
|
||||
from docs.pylib import auto_link_remapper
|
||||
from ..docs.pylib import auto_link_remapper
|
||||
|
||||
auto_link_remapper.auto_link_remapper()
|
||||
print("Updated source/toc.md file")
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue