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

Bump Documenter to 0.26.0 #38826

Merged
merged 1 commit into from
Dec 11, 2020
Merged

Conversation

mortenpi
Copy link
Contributor

Brings a few enhancements. Also, removes the dependency on DocumenterLaTeX, as the PDF/LaTeX backend is again provided by Documenter directly.

While it's a few days late to the party, I am hoping this could be backported to 1.6 as well, so that we could use this version of Documenter for the 1.6 docs.

cc @ianshmean

Also, remove DocumenterLaTeX, since the PDF/LaTeX backend is now again
provided by Documenter directly.
@mortenpi mortenpi added the docs This change adds or pertains to documentation label Dec 10, 2020
@fredrikekre fredrikekre added the backport 1.6 Change should be backported to release-1.6 label Dec 10, 2020
@KristofferC KristofferC merged commit b7d5240 into JuliaLang:master Dec 11, 2020
KristofferC pushed a commit that referenced this pull request Dec 11, 2020
Also, remove DocumenterLaTeX, since the PDF/LaTeX backend is now again
provided by Documenter directly.

(cherry picked from commit b7d5240)
@KristofferC KristofferC mentioned this pull request Dec 11, 2020
53 tasks
@IanButterworth
Copy link
Sponsor Member

Great! This makes me happy. No more guessing which rounding result to go for

https://docs.julialang.org/en/v1.7-dev/search/?q=Rounding

@mortenpi mortenpi deleted the mp/documenter-0.26 branch December 12, 2020 00:11
@KristofferC KristofferC removed the backport 1.6 Change should be backported to release-1.6 label Dec 19, 2020
ElOceanografo pushed a commit to ElOceanografo/julia that referenced this pull request May 4, 2021
Also, remove DocumenterLaTeX, since the PDF/LaTeX backend is now again
provided by Documenter directly.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs This change adds or pertains to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants