Fix deployment of GitHub Pages (try 2)

This commit is contained in:
Pradyun Gedam 2020-09-02 20:36:23 +05:30
parent 805ff34f6e
commit 2349df492e
No known key found for this signature in database
GPG Key ID: FF99710C4332258E
2 changed files with 3 additions and 6 deletions

View File

@ -19,11 +19,6 @@ jobs:
- name: Generate documentation
run: nox -s docs
# This helps ensure the generated files are included by the action
# in the next step.
- name: Remove generated files from .gitignore
run: sed -n '/# Generated files/q;p' .gitignore > .gitignore
- name: Upload to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:

View File

@ -58,9 +58,11 @@ def docs_live(session):
@nox.session(python="3.8", reuse_venv=True)
def docs(session):
# Generate relevant files prior to installation
session.run("gulp", "build", external=True)
_install_this_project_with_flit(session, extras=["doc"], editable=False)
session.run("gulp", "build", external=True)
# Generate documentation into `build/docs`
session.run("sphinx-build", "-b", "html", "-v", "docs/", "build/docs")