-
Notifications
You must be signed in to change notification settings - Fork 276
Add PDF generation by ReadTheDocs #1582
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
base: main
Are you sure you want to change the base?
Conversation
I expected a PDF option when going to the flyout menu at the bottom of the page. It isn't there, not sure why not. |
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #1582 +/- ##
==========================================
- Coverage 76.86% 76.86% -0.01%
==========================================
Files 394 394
Lines 63233 63233
Branches 10355 10355
==========================================
- Hits 48604 48601 -3
- Misses 12184 12188 +4
+ Partials 2445 2444 -1 ☔ View full report in Codecov by Sentry. |
@ksbeattie readthedocs does not build any formats other than html for PRs (we just encountered this in Pyomo). You'll have to try building the pdf locally to check if this works or you can add a separate GHA job that builds the pdf (we did this in Pyomo here: Pyomo/pyomo#3495). |
Since RTD will not pick up this change, maybe a good first step would be to try to run the build locally and see if it works or not at the |
I will try |
After a
errors (by adding
Not sure yet how to fix that. |
Fixes
The lack of PDF version of our docs at RTD
Summary/Motivation:
This is a test to see if we want to have RTD produce a PDF version of the docs
Changes proposed in this PR:
Legal Acknowledgement
By contributing to this software project, I agree to the following terms and conditions for my contribution: