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

Build docs as a PDF #1638

Merged
merged 3 commits into from
Oct 20, 2021
Merged

Build docs as a PDF #1638

merged 3 commits into from
Oct 20, 2021

Conversation

odow
Copy link
Member

@odow odow commented Oct 19, 2021 •
edited
Loading

@odow odow added the Type: Documentation This issue requires changes to the documentation label Oct 19, 2021
@odow odow changed the title Use local image for latency Build docs as a PDF Oct 19, 2021
@blegat
Copy link
Member

blegat commented Oct 19, 2021

There are "Part VII Release notes" which is empty and "Part VIII Release notes"

@odow
Copy link
Member Author

odow commented Oct 19, 2021

Yes, there are bunch of upstream issues with the section headings: JuliaDocs/Documenter.jl#1416

The first has to get the latex building without errors. We can refine the actual document in future.

@blegat
Copy link
Member

blegat commented Oct 19, 2021

The docs build time on Github Action goes from 3 min to 8 min but I don't think it's an issue.

@odow
Copy link
Member Author

odow commented Oct 19, 2021

The bigger problem is the JuMP build time.

@odow odow mentioned this pull request Oct 19, 2021
Merged
@odow
Copy link
Member Author

odow commented Oct 19, 2021 •
edited
Loading

I fixed the header stuff here, JuliaDocs/Documenter.jl#1716, which should help a lot. We won't have 75 chapters any more :)

@odow odow merged commit 6849ae6 into master Oct 20, 2021
@odow odow deleted the od/doc-fixes branch October 20, 2021 03:19
@odow
Copy link
Member Author

odow commented Oct 20, 2021

Merging for now since there are some good improvements. The next version of Documenter will improve the layout of the PDF.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Type: Documentation This issue requires changes to the documentation
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@odow @blegat