We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Onced Documenter 0.24 comes out, it will have have a standard method for deploying docs for PRs.
We can thus stop using the current hacky one.
JuliaDocs/Documenter.jl#1131
The text was updated successfully, but these errors were encountered:
But the problem is Documentor 0.24 has very different CSS, which breaks the styling of the site. Which is kinda nice right now.
I think a much never version still (0.25?) supports themes so that could be fix again. But it would be effort
Sorry, something went wrong.
it would be effort
I took a look into doing this with v0.24 (based on how DrWatson.jl does it), and it is very painful
Successfully merging a pull request may close this issue.
Onced Documenter 0.24 comes out,
it will have have a standard method for deploying docs for PRs.
We can thus stop using the current hacky one.
JuliaDocs/Documenter.jl#1131
The text was updated successfully, but these errors were encountered: