Skip to content
New issue

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

Use Documenter 0.25 #53

Merged
merged 4 commits into from
Jul 3, 2020
Merged

Use Documenter 0.25 #53

merged 4 commits into from
Jul 3, 2020

Conversation

mortenpi
Copy link
Member

Bump Documenter to the upcoming 0.24 (currently pinned to the mp/katjax branch with docs/Manifest.toml).

The LaTeX definitions can now be done in make.jl (JuliaDocs/Documenter.jl#1097), so no need to load the latex.js (which was a bit unreliable, since we were actually loading and configuring MathJax twice).

Here is a demo: https://mortenpi.eu/gsoc2019-mockups/bulma/v14/AtomicLevels/

Once merged, will fix #45.

@mortenpi
Copy link
Member Author

There are some docs issues, but the upgrade to 0.25 looks smooth. @jagot did you figure out if we need MathJax (in other repos), or whether KaTeX is sufficient?

@jagot
Copy link
Member

jagot commented Jun 30, 2020

KaTeX is not sufficient in other repos (don't remember exactly, but I think I could not get eqrefs and such things to work), so I think our conclusion was to use MathJax everywhere, to be consistent.

What are the "docs issues"?

@mortenpi
Copy link
Member Author

Alright, I'll change this over to MathJax then before we merge.

What are the "docs issues"?

Doctests not passing, parse included in two places, some bad at-refs. I.e. all the build warnings.

@mortenpi
Copy link
Member Author

mortenpi commented Jul 3, 2020

Alright, I'll change this over to MathJax then before we merge.

Scratch that, it already is using MathJax 😆 So I'd say this is good to go.

@mortenpi mortenpi marked this pull request as ready for review July 3, 2020 05:56
@mortenpi mortenpi changed the title Use Documenter 0.24 Use Documenter 0.25 Jul 3, 2020
@jagot jagot merged commit 53cae5b into master Jul 3, 2020
@jagot jagot deleted the mp/documenter branch July 3, 2020 06:26
@jagot
Copy link
Member

jagot commented Jul 3, 2020

Thanks!

@mortenpi mortenpi mentioned this pull request Jul 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update Documenter.jl
2 participants