Closed cserteGT3 closed 5 years ago
Updated Documenter
to v0.23.x
which resolved the failing build.
This looks good, except I don't think we want to commit the Manifest file. I think the default generator in Documenter or PkgTemplates actually adds it into a .gitignore as well.
Removed it. I didn't know that it's not required.
Thanks for the contribution!
To clarify: the manifest is autogenerated from the project.toml, so unless there is some need for a specific commit or branch of a dependency we don't include it.
As described in #177, deploying the documentation fails. I changed the documentation deploying script to use a Documentation stage (based on a template from PkgSkeleton). In the docs environment
Documenter.jl
is pinned tov0.19.0
.