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 |
|
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 |
|
Richard Brooksby
|
cde53615e7
|
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
|
d8c9c9bc2d
|
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
|
8ec98a497d
|
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
|
06fd42198c
|
Fixing git command for pushing a fresh ci branch.
|
2023-01-31 18:40:07 +00:00 |
|
Richard Brooksby
|
dcc75e7156
|
Adding instructions for recording the merge.
|
2023-01-31 18:20:04 +00:00 |
|
Richard Brooksby
|
864fc2f4ef
|
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
|
c209c3b365
|
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
|
d694822b9a
|
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
|
0aa891e6cf
|
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
|
ffcd37a233
|
Clarifying what i mean by "basic competence with git".
|
2023-01-26 07:45:00 +00:00 |
|
Richard Brooksby
|
e4d63ef7a4
|
Fixing heading markup of subsection headings in section 6.
|
2023-01-25 21:43:11 +00:00 |
|
Richard Brooksby
|
a213a3b235
|
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
|
fb01ffab89
|
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
|
398911b8c7
|
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
|
04b54287ad
|
Adding time-to-execute estimates based on measurements.
|
2023-01-23 09:40:47 +00:00 |
|
Richard Brooksby
|
58aa9a0e08
|
Adding document tag proc.merge.pull-request.
|
2023-01-20 10:27:47 +00:00 |
|
Richard Brooksby
|
cab1bf047e
|
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
|
fce58ffa54
|
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
|
023f58a335
|
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
|
499fba869a
|
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
|
ab102cb8c7
|
Clarifying that this checks the mps source tree, not the mps. signing.
|
2023-01-17 13:21:43 +00:00 |
|
Richard Brooksby
|
8cb620a636
|
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
|
f8b327b17c
|
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
|
bd1a75e882
|
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
|
86dc1f56ab
|
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
|
4f2f097ef5
|
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 |
|
Richard Brooksby
|
5b5edaba15
|
Swapping bsd licence for mit because we must retain the original licence on code we bring in to the project.
|
2023-01-16 14:33:41 +00:00 |
|
Richard Brooksby
|
48cf8253d3
|
Enabling manual triggering of restructuredtext syntax check.
|
2023-01-15 20:10:53 +00:00 |
|
Richard Brooksby
|
2a64952735
|
Enabling manual triggering of shell script check.
|
2023-01-15 20:09:18 +00:00 |
|
Richard Brooksby
|
bb61af1e67
|
Making script name more readable.
|
2023-01-15 20:07:34 +00:00 |
|
Richard Brooksby
|
1d3d8d844e
|
Making script name more readable.
|
2023-01-15 20:00:57 +00:00 |
|
Richard Brooksby
|
1372cfbe09
|
Can't link to things that don't exist yet. leaving a note.
|
2023-01-15 19:27:57 +00:00 |
|