-
Notifications
You must be signed in to change notification settings - Fork 77
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
Build the Memory Management Reference from the MPS tree #187
base: master
Are you sure you want to change the base?
Conversation
…date Memory Management Reference builds from there. Copied from Perforce Change: 199111
…o.ravenbrook.com/project/mmref/master
Here is a partial build of the Memory Management Reference using Read the Docs from this branch https://mmref.readthedocs.io/en/branch-2023-03-03-make-mmref/ This is achieved by setting the It's only a partial build because we post-process the Sphinx output to produce https://www.memorymanagement.org/ and Read the Docs is not running that script. It probably could. |
…n't reproduce locally.
I am mystified by the errors from the Read the Docs builds. I have submitted readthedocs/readthedocs.org#10103 . |
Changes to the MPS manual could break the Memory Management Reference. Incorporating the build will allow us to check it, both manually and as part of CI.
See #166 (comment) .
See also #165 though this branch is not intended to resolve that issue, only mitigate risks.