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.

Sign up for GitHub

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

Jump to bottom

Use Documenter 0.27.23 #46516

Merged
merged 1 commit into from
Aug 29, 2022
Merged

Use Documenter 0.27.23 #46516

merged 1 commit into from
Aug 29, 2022

Conversation

mortenpi
Copy link
Contributor

Brings mostly some LaTeX/PDF improvements:

  1. TeX builds are less noisy and should bail early if there is an error now.
  2. The internal links within the PDF now actually work (thanks to @matthias314).

I also took the liberty of adding 1.8 and 1.6 backport labels here.

@mortenpi mortenpi added docsystem The documentation building system backport 1.6 Change should be backported to release-1.6 backport 1.8 Change should be backported to release-1.8 labels Aug 28, 2022
@KristofferC KristofferC merged commit b64743b into JuliaLang:master Aug 29, 2022
@matthias314
Copy link
Contributor

I think that #38054 and #43652 can be closed now.

KristofferC pushed a commit that referenced this pull request Aug 30, 2022
@mortenpi @KristofferC
Use Documenter 0.27.23 (#46516)
9db7f85 
(cherry picked from commit b64743b)
@KristofferC KristofferC mentioned this pull request Aug 30, 2022
Merged
35 tasks
@KristofferC KristofferC removed the backport 1.8 Change should be backported to release-1.8 label Sep 7, 2022
@KristofferC KristofferC mentioned this pull request Dec 21, 2022
Closed
78 tasks
KristofferC pushed a commit that referenced this pull request Dec 21, 2022
@mortenpi
Use Documenter 0.27.23 (#46516)
3014999 
(cherry picked from commit b64743b)
KristofferC pushed a commit that referenced this pull request Dec 21, 2022
@mortenpi
Use Documenter 0.27.23 (#46516)
d8df907 
(cherry picked from commit b64743b)
KristofferC pushed a commit that referenced this pull request Dec 21, 2022
@mortenpi
Use Documenter 0.27.23 (#46516)
987b54f 
(cherry picked from commit b64743b)
staticfloat pushed a commit that referenced this pull request Dec 23, 2022
@mortenpi @staticfloat
Use Documenter 0.27.23 (#46516)
a6347dc 
(cherry picked from commit b64743b)
KristofferC pushed a commit that referenced this pull request Oct 10, 2023
@mortenpi @KristofferC
Use Documenter 0.27.23 (#46516)
9b90553 
(cherry picked from commit b64743b)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@KristofferC KristofferC KristofferC approved these changes

@fredrikekre fredrikekre Awaiting requested review from fredrikekre

Assignees
No one assigned
Labels
backport 1.6 Change should be backported to release-1.6 docsystem The documentation building system
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mortenpi @matthias314 @KristofferC