Richard Brooksby
|
2f9ff7d0df
|
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
|
df6a03cbbe
|
Adding note to manual/build.txt to prevent manual breakage.
|
2023-02-19 12:09:18 +00:00 |
|
Richard Brooksby
|
062041f7ce
|
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
|
d923270d33
|
Fixing `make clean` <https://github.com/ravenbrook/mps/issues/158#issuecomment-1433477305>.
|
2023-02-16 18:10:33 +00:00 |
|
Richard Brooksby
|
69dd0c3164
|
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
|
73494e50ac
|
Minor edits from express review <https://github.com/ravenbrook/mps/pull/141#issuecomment-1433253292>.
|
2023-02-16 15:20:05 +00:00 |
|
Richard Brooksby
|
86ecc9210b
|
Adding tag for design.mps.doc.fmt.macro.
|
2023-02-15 13:42:22 +00:00 |
|
Richard Brooksby
|
ee37f8860e
|
Adding documentation to the mps sphinx extension, especially cross-references to design.mps.doc.
|
2023-02-15 10:14:43 +00:00 |
|
Richard Brooksby
|
af6662a047
|
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
|
009fcbb51d
|
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
|
c16a85daa5
|
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 |
|
Peter Jackson
|
d8dc863501
|
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
|
894ea16083
|
Get full traceback from sphinx on error. cross-referencing build.txt instructions.
|
2023-02-03 01:35:59 +00:00 |
|
Richard Brooksby
|
f5d0aca290
|
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
|
f449d32cee
|
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
|
84c8313daf
|
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
|
ea36e6d63d
|
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
|
b485f3b850
|
Adding documentation links, configuration and admin details, and licence.
|
2023-02-02 05:05:09 +00:00 |
|
Richard Brooksby
|
603111edc3
|
Linking the repo readme to the build the docs manual.
|
2023-02-02 04:48:14 +00:00 |
|
Richard Brooksby
|
0463e30938
|
Don't build extra formats yet.
|
2023-02-02 04:34:28 +00:00 |
|
Richard Brooksby
|
7937eb5418
|
Limit formats to html while debugging config.
|
2023-02-02 04:33:32 +00:00 |
|
Richard Brooksby
|
f3eb39da33
|
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
|
5fe7cab81e
|
Adding a configuration for read the docs.
|
2023-02-02 04:12:42 +00:00 |
|
Richard Brooksby
|
073aa4da82
|
Merging branch/2023-01-10/github-fix-readme again because i accidentally omitted a change.
|
2023-02-01 20:24:52 +00:00 |
|
Richard Brooksby
|
c74548d36f
|
Merging branch/2023-01-10/github-fix-readme for github pull request 105 <https://github.com/ravenbrook/mps/pull/105>.
|
2023-02-01 20:20:04 +00:00 |
|
Richard Brooksby
|
9f0cc1250c
|
Making a todo to reformat platforms for ease of reading on github in response to <https://github.com/ravenbrook/mps/pull/105#issuecomment-1412637638>
|
2023-02-01 19:53:21 +00:00 |
|
Richard Brooksby
|
08ac140eb3
|
Merging branch/2023-01-07/pull-request-merge-procedure for github pull request <https://github.com/ravenbrook/mps/pull/97>.
GitHub-reference: https://github.com/Ravenbrook/mps/issues/97
|
2023-01-31 18:41:17 +00:00 |
|
Richard Brooksby
|
80cd84ef13
|
Fixing git command for pushing a fresh ci branch.
|
2023-01-31 18:40:07 +00:00 |
|
Richard Brooksby
|
f7d5b80af6
|
Adding instructions for recording the merge.
|
2023-01-31 18:20:04 +00:00 |
|
Richard Brooksby
|
58535e5f1f
|
Merging branch/2023-01-14/shell-script-check for github pull request 117 <https://github.com/ravenbrook/mps/pull/117>.
|
2023-01-30 17:15:26 +00:00 |
|
Richard Brooksby
|
c705130299
|
Fixing argument parsing errors found by check-shell-scripts in <https://github.com/ravenbrook/mps/actions/runs/4046143279/jobs/6958557079>.
|
2023-01-30 17:02:16 +00:00 |
|
Richard Brooksby
|
ad356b1afb
|
Catch-up merge branch 'master' into
branch/2023-01-14/shell-script-check to resolve check-shell-scripts
failures in the merge <https://github.com/Ravenbrook/mps/actions/runs/4046143279/jobs/6958557079>.
|
2023-01-30 16:58:40 +00:00 |
|
Richard Brooksby
|
7e3b50655f
|
Fixing issues found in review of 2023-01-30 <https://github.com/ravenbrook/mps/pull/117#issuecomment-1408484708>: clarifying leader comment. adding usage. referencing shellcheck manual.
|
2023-01-30 16:49:41 +00:00 |
|
Richard Brooksby
|
c6841a10a6
|
Clarifying what i mean by "basic competence with git".
|
2023-01-26 07:45:00 +00:00 |
|
Richard Brooksby
|
45b3e59795
|
Fixing heading markup of subsection headings in section 6.
|
2023-01-25 21:43:11 +00:00 |
|
Richard Brooksby
|
28e1e17b6d
|
Clarifying levels of competence needed and risks of executing the procedure in response to mini-review by @thejayps and @unaa008 <https://github.com/ravenbrook/mps/pull/97#discussion_r1085584810>.
|
2023-01-25 21:39:44 +00:00 |
|
Richard Brooksby
|
ca219b51a9
|
Clarifying what "interface" means, in response to comment by @unaa008 <https://github.com/ravenbrook/mps/pull/97#discussion_r1085574318>.
|
2023-01-25 21:22:29 +00:00 |
|
Richard Brooksby
|
8147867471
|
Linking comment about smushed document to github issue 128 <https://github.com/ravenbrook/mps/issues/128> that logs it.
|
2023-01-25 21:06:19 +00:00 |
|
Richard Brooksby
|
849ea9f4dd
|
Adding time-to-execute estimates based on measurements.
|
2023-01-23 09:40:47 +00:00 |
|
Richard Brooksby
|
d4c5829891
|
Adding document tag proc.merge.pull-request.
|
2023-01-20 10:27:47 +00:00 |
|
Richard Brooksby
|
11429749cc
|
Adding instruction to record the revision of the procedure being followed in the pull request.
|
2023-01-19 12:54:14 +00:00 |
|
Richard Brooksby
|
c63a8907e4
|
Merge branch 'branch/2021-05-27/sphinx' into master for github pull request 67 <https://github.com/ravenbrook/mps/pull/67>.
|
2023-01-19 09:09:09 +00:00 |
|
Richard Brooksby
|
fddbaaa8d7
|
Catch-up merge of master into branch/2021-05-27/sphinx as part of review of github pull request 67 <https://github.com/ravenbrook/mps/pull/67>.
|
2023-01-18 11:00:38 +00:00 |
|
Richard Brooksby
|
6e5f5cee4c
|
Specifying sphinx version before 5 because the manual layout is currently broken under sphinx 5 and 6 <https://github.com/ravenbrook/mps/issues/121>. because that means we're using a variant of sphinx, also making a venv-installed sphinx the default.
|
2023-01-18 10:00:13 +00:00 |
|
Richard Brooksby
|
96d1b82ba3
|
Clarifying that this checks the mps source tree, not the mps. signing.
|
2023-01-17 13:21:43 +00:00 |
|
Richard Brooksby
|
0698c74663
|
Merging branch/2023-01-06/platform-w3i3m9 for github pull request 91 <https://github.com/ravenbrook/mps/pull/91>.
|
2023-01-17 00:09:30 +00:00 |
|
Richard Brooksby
|
2f0b3be67b
|
Process improvement: check that the code review is recent. response to <https://github.com/ravenbrook/mps/pull/97#issuecomment-1384095096>.
|
2023-01-16 22:24:11 +00:00 |
|
Richard Brooksby
|
6a650a21dd
|
Merging branch/2023-01-11/github-ci for github pull request 107 <https://github.com/ravenbrook/mps/pull/107>.
|
2023-01-16 15:59:58 +00:00 |
|
Richard Brooksby
|
7ec1d51083
|
Catch-up merge with master into branch/2023-01-11/github-ci to eliminate irrelevant differences from branch/2023-01-06/gcc-11.3.0-warnings from code review.
|
2023-01-16 15:22:46 +00:00 |
|
Richard Brooksby
|
209af03d99
|
Merging branch/2023-01-06/gcc-11.3.0-warnings for github pull request 92 <https://github.com/ravenbrook/mps/pull/92>.
|
2023-01-16 15:14:34 +00:00 |
|