Richard Brooksby
|
f84241fa4f
|
Merging branch/2023-02-21/termux-build for github pull request <https://github.com/ravenbrook/mps/pull/164>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/164
|
2023-03-09 11:53:39 +00:00 |
|
Richard Brooksby
|
1610d65d4c
|
Explaining the purpose of the calls variable in response to <https://github.com/ravenbrook/mps/pull/164#discussion_r1130845346>.
|
2023-03-09 11:33:14 +00:00 |
|
Richard Brooksby
|
a1147b996d
|
Merging branch/2023-02-13/fix-typos for github pull request <https://github.com/ravenbrook/mps/pull/149>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/149
|
2023-03-08 11:10:53 +00:00 |
|
Richard Brooksby
|
6ac5dcb1f4
|
Declaring variable as static volatile to ensure clean communication with debugger and suppress warnings. this is a better expression of intention.
|
2023-03-08 11:03:27 +00:00 |
|
Richard Brooksby
|
34f80fbeb8
|
Merging branch/2023-02-10/weekly-pi for github pull request <https://github.com/ravenbrook/mps/pull/152>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/152
|
2023-02-28 16:34:25 +00:00 |
|
Richard Brooksby
|
cef13ceb7f
|
Adding '#' prefix to pull request number so that github recognizes it <https://github.com/ravenbrook/mps/pull/152#discussion_r1119983027>.
|
2023-02-28 15:49:57 +00:00 |
|
Richard Brooksby
|
b0b6837abb
|
Clarifying that some commands must be executed in the "mps" repo directory <https://github.com/ravenbrook/mps/pull/152#discussion_r1119983520>.
|
2023-02-28 15:48:18 +00:00 |
|
Richard Brooksby
|
8695de7f5d
|
Merge branch/2023-01-17/fixme-check for github pull request <https://github.com/ravenbrook/mps/pull/119>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/119
|
2023-02-28 15:22:48 +00:00 |
|
Richard Brooksby
|
16158de81a
|
Minor fixes in response to review <https://github.com/ravenbrook/mps/pull/119#issuecomment-1441605046>.
|
2023-02-24 09:14:30 +00:00 |
|
Richard Brooksby
|
f54fea1f9d
|
Clarifying todo in response to review <https://github.com/ravenbrook/mps/pull/119#discussion_r1115542531>.
|
2023-02-24 09:07:28 +00:00 |
|
Richard Brooksby
|
eaa9e9cb22
|
Adding references to issues raised by review <https://github.com/ravenbrook/mps/pull/119#discussion_r1115543553>.
|
2023-02-24 08:53:03 +00:00 |
|
Richard Brooksby
|
7321b41ccb
|
Improving comment on exclusion list in response to review <https://github.com/ravenbrook/mps/pull/119#issuecomment-1441605046>.
|
2023-02-24 08:43:48 +00:00 |
|
Richard Brooksby
|
2ccaf78e8c
|
Merging branch/2023-02-16/manual-xrefs for github pull request <https://github.com/ravenbrook/mps/pull/159>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/159
|
2023-02-23 17:43:27 +00:00 |
|
Richard Brooksby
|
5137af0865
|
Adding an introductory warning to the design section. adding leader comment with reference to design and notes.
|
2023-02-23 17:24:20 +00:00 |
|
Richard Brooksby
|
1bb490450c
|
Marking missing tags with todo comments so they're more likely to get fixed <https://github.com/ravenbrook/mps/pull/159#issuecomment-1441857416>.
|
2023-02-23 15:37:30 +00:00 |
|
Richard Brooksby
|
be49591878
|
Fixing url reference to sphinx documentation.
|
2023-02-23 10:59:07 +00:00 |
|
Richard Brooksby
|
e360d4e07d
|
Make sphinx fail on warnings so that ci detects problems with the manual early <https://github.com/ravenbrook/mps/issues/158#issuecomment-1440828613>. fixing warnings. undoing mystery merge <https://github.com/ravenbrook/mps/pull/159#issuecomment-1440931676>.
|
2023-02-22 22:53:17 +00:00 |
|
Richard Brooksby
|
4f69099fa6
|
Suppressing unused variable warning for static that we only look at from a debugger.
|
2023-02-21 16:17:51 +00:00 |
|
Richard Brooksby
|
b331e68916
|
Wrapping preservedinplacecount in statistic macros to suppress dataflow warning from clang. see <https://github.com/ravenbrook/mps/issues/163#issuecomment-1438723301>.
|
2023-02-21 16:09:04 +00:00 |
|
Richard Brooksby
|
c88e4e8a05
|
Downgrading old fixmes to todos with better explanation of tasks.
|
2023-02-20 08:51:15 +00:00 |
|
Richard Brooksby
|
792b55043a
|
Adding note to manual/build.txt to prevent manual breakage.
|
2023-02-19 12:09:18 +00:00 |
|
Richard Brooksby
|
65a90557d2
|
Moving the anchor for guide-build to immediately before the heading in build.txt so that sphinx defines it. works around <https://github.com/ravenbrook/mps/issues/158#issuecomment-1433498577>.
|
2023-02-16 21:48:38 +00:00 |
|
Richard Brooksby
|
f652c731be
|
Fixing `make clean` <https://github.com/ravenbrook/mps/issues/158#issuecomment-1433477305>.
|
2023-02-16 18:10:33 +00:00 |
|
Richard Brooksby
|
7939c13f08
|
Merging branch/2023-02-02/readthedocs for github pull request <https://github.com/ravenbrook/mps/pull/141>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/141
|
2023-02-16 16:19:58 +00:00 |
|
Richard Brooksby
|
c4c2bada44
|
Minor edits from express review <https://github.com/ravenbrook/mps/pull/141#issuecomment-1433253292>.
|
2023-02-16 15:20:05 +00:00 |
|
Richard Brooksby
|
180e06a124
|
Clarifications found during merging session with pnj on 2023-02-10.
|
2023-02-16 00:24:09 +00:00 |
|
Richard Brooksby
|
aaa6aa228d
|
Adding tag for design.mps.doc.fmt.macro.
|
2023-02-15 13:42:22 +00:00 |
|
Richard Brooksby
|
7ef86c751c
|
Adding documentation to the mps sphinx extension, especially cross-references to design.mps.doc.
|
2023-02-15 10:14:43 +00:00 |
|
Richard Brooksby
|
4eb3c3a5b5
|
Fixing duplicate tag and updating for github migration. fixes <https://github.com/ravenbrook/mps/issues/155#issuecomment-1430979446>.
|
2023-02-15 09:25:47 +00:00 |
|
Richard Brooksby
|
2e1e0624a6
|
Excluding manual/build.txt from check-rst. fixes github issue.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/155
|
2023-02-15 09:16:41 +00:00 |
|
Richard Brooksby
|
f3b1e0ff62
|
Catch-up from master into branch/2023-02-02/readthedocs, specifically to bring in tool/check-rst.
|
2023-02-15 09:11:00 +00:00 |
|
Richard Brooksby
|
9c7b40b26f
|
Adding check that build results are recent, and advice about what to do if not.
|
2023-02-15 08:48:39 +00:00 |
|
Richard Brooksby
|
ef9a3e55b5
|
Adding note about key algorithm for connection to git fusion, and link to instructions.
|
2023-02-15 08:09:48 +00:00 |
|
Richard Brooksby
|
5d0b79e4f1
|
Linking to where to look up ci results rather than repeating info.
|
2023-02-15 08:01:44 +00:00 |
|
Richard Brooksby
|
7187352447
|
Adding instructions to record time taken to execute procedure.
|
2023-02-15 07:57:04 +00:00 |
|
Bruce Mitchener
|
0f6e2f7a20
|
Fix typos.
|
2023-02-13 23:27:57 +07:00 |
|
Richard Brooksby
|
107d713e29
|
Miscellaneous improvements and notes that came up during the merge of github pull request 117 <https://github.com/ravenbrook/mps/pull/117>.
|
2023-02-10 20:52:37 +00:00 |
|
Peter Jackson
|
11dfb4bdb4
|
Merging branch/2023-01-13/rst-check for github pull request 112 <https://github.com/ravenbrook/mps/pull/112>
|
2023-02-10 17:48:21 +00:00 |
|
Richard Brooksby
|
d6ad2ae023
|
Get full traceback from sphinx on error. cross-referencing build.txt instructions.
|
2023-02-03 01:35:59 +00:00 |
|
Richard Brooksby
|
9ccd292591
|
Fixing manual build from makefile. need to join app.srcdir to the glob so that the glob results are not relative. oops.
|
2023-02-03 01:22:03 +00:00 |
|
Richard Brooksby
|
c983fea433
|
Mitigating dependency on read the docs by giving instructions for building the manual from the mps tree <https://github.com/ravenbrook/mps/pull/141#issuecomment-1413166615>.
|
2023-02-03 01:13:20 +00:00 |
|
Richard Brooksby
|
be1405de9f
|
Removing assumption that convert_updated is running in a particular directory <https://github.com/ravenbrook/mps/pull/141#issuecomment-1414540158>.
|
2023-02-03 00:35:25 +00:00 |
|
Richard Brooksby
|
f712689c8c
|
Try to get read the docs to run our sphinx extensions <https://github.com/ravenbrook/mps/pull/141#issuecomment-1414154738>.
|
2023-02-02 23:43:34 +00:00 |
|
Richard Brooksby
|
a502c62488
|
Adding documentation links, configuration and admin details, and licence.
|
2023-02-02 05:05:09 +00:00 |
|
Richard Brooksby
|
68a8f8b36e
|
Linking the repo readme to the build the docs manual.
|
2023-02-02 04:48:14 +00:00 |
|
Richard Brooksby
|
4b76ccc641
|
Don't build extra formats yet.
|
2023-02-02 04:34:28 +00:00 |
|
Richard Brooksby
|
e1e0bfb6ef
|
Limit formats to html while debugging config.
|
2023-02-02 04:33:32 +00:00 |
|
Richard Brooksby
|
130697f0e2
|
Quoting build.tools.python to suppress error. see <https://github.com/readthedocs/readthedocs.org/issues/9719>.
|
2023-02-02 04:26:55 +00:00 |
|
Richard Brooksby
|
1bfa2f2917
|
Adding a configuration for read the docs.
|
2023-02-02 04:12:42 +00:00 |
|
Richard Brooksby
|
fa42d5c381
|
Merging branch/2023-01-10/github-fix-readme again because i accidentally omitted a change.
|
2023-02-01 20:24:52 +00:00 |
|