mirror/json
1
0
Fork 0
mirror of https://github.com/nlohmann/json.git synced 2024-11-23 22:19:02 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

💚 fix documentation deploy

Browse Source
This commit is contained in:
Niels Lohmann 2023-11-01 22:16:27 +01:00
parent 1dfe4073e3
commit 6eab7a2b18
No known key found for this signature in database
GPG Key ID: 7F3CEA63AE251B69
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/publish_documentation.yml vendored
View File

@ -35,9 +35,7 @@ jobs:
run: make build -C docs/mkdocs run: make build -C docs/mkdocs
- name: Deploy documentation - name: Deploy documentation
uses: crazy-max/ghaction-github-pages@v4 uses: peaceiris/actions-gh-pages@v3
with: with:
target_branch: gh-pages github_token: ${{ secrets.GITHUB_TOKEN }}
build_dir: docs/mkdocs/site publish_dir: ./docs/mkdocs/site
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

2
docs/mkdocs/Makefile
View File

@ -21,7 +21,7 @@ style_check:
clean: clean:
rm -fr docs/images/json.gif docs/examples rm -fr docs/images/json.gif docs/examples
# publish site to GitHub pages (not working in GitHub Actions) # publish site to GitHub pages (not working in GitHub Actions; need special action)
publish: prepare_files publish: prepare_files
venv/bin/mkdocs gh-deploy --clean --force venv/bin/mkdocs gh-deploy --clean --force