Merge pull request #1543 from davidhewitt/guide-fixups

guide: fixups to build
This commit is contained in:
David Hewitt 2021-04-03 11:44:11 +01:00 committed by GitHub
commit 1751a7fb19
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -21,7 +21,7 @@ jobs:
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.9'
mdbook-version: '0.4.7'
- name: Prepare tag
id: prepare_tag

View File

@ -4,4 +4,4 @@ description = "PyO3 user guide"
author = "PyO3 Project and Contributors"
[preprocessor.pyo3_version]
command = "python guide/pyo3_version.py"
command = "python3 guide/pyo3_version.py"