What is the simplest way to build docs with Documenter.jl locally and push the appropriate updates to
gh-pages? When I build locally I get
┌ Warning: Documenter could not auto-detect the building environment Skipping deployment. └ @ Documenter ~/.julia/packages/Documenter/9kOxY/src/deployconfig.jl:76
But is there some way to set
deploydocs so that it adds a commit to
gh-pages locally and I can manually push that to GitHub? I want to do this for a tagged release v0.1.0.
I didn’t have the right environment variables set up so my CI GitHub Actions did not deploy my Documenter.jl docs. That’s been fixed, but I’m wondering if there is someway to manually build the docs so that I have some docs under v0.1.0. (Since the tag v0.1.0 has already been added).
Alternatively if there is some way to manually trigger the appropriate GitHub action for the release that would also work for me.