docs: fix non docs/ links
This commit is contained in:
parent
cd411494d1
commit
e4869e0061
4 changed files with 40 additions and 2 deletions
3
.github/workflows/publish-docs.yml
vendored
3
.github/workflows/publish-docs.yml
vendored
|
|
@ -26,6 +26,9 @@ jobs:
|
|||
- name: Install dependencies
|
||||
run: pip install mkdocs-material
|
||||
|
||||
- name: Prepare external docs
|
||||
run: python .github/scripts/prepare_docs.py
|
||||
|
||||
- name: Configure Git identity
|
||||
run: |
|
||||
git config --global user.name "github-actions[bot]"
|
||||
|
|
|
|||
Reference in a new issue