179 Commits

Author	SHA1	Message	Date
Ben Edgington	387e1b0a16	Introduce spans for wrapping long strings	2025-06-16 12:34:29 +01:00
Ben Edgington	7c19836b9f	Make link checker also read from stdin	2025-06-14 17:19:56 +01:00
Ben Edgington	e7279a0383	Make some of the checks read from stdin as well as file	2025-06-14 15:14:58 +01:00
Ben Edgington	36160a3d2e	Tidy up output	2025-06-14 08:50:39 +01:00
Ben Edgington	240cd95267	Fix spelling of LaTeX	2025-06-13 12:47:44 +01:00
Ben Edgington	b527874684	Fix up character encoding	2025-06-13 11:50:47 +01:00
Ben Edgington	3f5e1b2a9f	Simplify reporting handling	2025-06-13 11:09:05 +01:00
Ben Edgington	d68faa9031	Refactor build checks to run async	2025-06-13 10:11:49 +01:00
Ben Edgington	b7b1f5a4ef	Move repeated words check to Perl	2025-06-12 15:53:51 +01:00
Ben Edgington	b442bf8ef7	Add explanatory comment	2025-06-11 21:33:20 +01:00
Ben Edgington	9719879264	Fix inconsistency in npm run spfix ... aspell will also match 'randao' with both 'Randao' and 'RANDAO'. Update the behaviour of spfix to match this so that we don't end up with superfluous entries in the spellings list. I'd rather aspell didn't do this, but don't know how to prevent it.	2025-06-11 21:17:42 +01:00
Ben Edgington	31f74a43e7	Use astro loaders to split the book into pages ... Previously this was done by pre-processing the book.md file into multiple files (one per page). Also handles the one-page annotated spec.	2025-06-07 15:01:25 +01:00
Ben Edgington	5a6421c9d9	Make autoLinkHeadings configurable	2025-06-02 10:21:10 +01:00
Ben Edgington	584002ac19	Make logging slightly less insane	2025-06-01 21:58:32 +01:00
Ben Edgington	bfdfb3674a	Make autolink-headings more consistent	2025-06-01 17:27:51 +01:00
Ben Edgington	b76b64992f	Update pandoc	2025-05-30 09:47:13 +01:00
Ben Edgington	aa48a956a9	Stop maintaining main branch	2025-05-26 13:04:52 +01:00
Ben Edgington	27542ec898	The Great Astro Migration	2025-05-23 19:54:09 +01:00
Ben Edgington	4f55f5e191	Update dependencies for MacOS - thanks @raulk!	2025-05-05 09:39:10 +01:00
Ben Edgington	d2e2009336	Add dictionaries to repo for easier maintenance	2025-04-17 11:14:13 +01:00
Ben Edgington	9bca1eb9f3	Improve patch_all utility	2025-04-16 12:00:25 +01:00
Ben Edgington	942b533c36	Don't flag repeated numbers	2025-03-31 11:37:19 +01:00
Ben Edgington	8402058989	Add deneb branch to tooling	2025-03-31 10:40:37 +01:00
Ben Edgington	797d53a6e1	Improve installation script	2025-03-19 14:04:38 +00:00
Ben Edgington	b05041796f	Add new spellcheck utility	2025-03-19 11:26:29 +00:00
Ben Edgington	94b787f57c	Add comment about pesky gotcha domains	2025-02-19 16:38:13 +00:00
Ben Edgington	c1624ec23c	Clean up output of parallel url check	2025-02-19 12:56:14 +00:00
Ben Edgington	9694c4088b	Update README for pdf building	2025-02-19 11:12:22 +00:00
Ben Edgington	93b7985134	Updates for pandoc 3.6.3	2025-02-19 11:07:08 +00:00
Ben Edgington	022f2e708a	Fiddle with exports again	2025-02-19 10:15:26 +00:00
Ben Edgington	3e0446c46d	WIP upgrading pandoc (now at v3.4)	2025-02-18 17:59:51 +00:00
Ben Edgington	3cb6532b20	More changes to make markdownlint work again	2025-02-18 11:35:34 +00:00
Ben Edgington	0eeafc7fce	Update git pre-commit hook for markdownlint	2025-02-17 14:31:31 +00:00
Ben Edgington	f41a11ca41	Update markdownlint	2025-02-17 13:24:33 +00:00
Ben Edgington	a93bc7a406	Update dependencies	2024-04-12 14:58:21 +01:00
Ben Edgington	5118a2f720	Updates for pandoc 3.1.13	2024-04-12 14:29:58 +01:00
Ben Edgington	adc3acee53	Update for pandoc 3.1.9	2023-11-01 15:11:45 +00:00
Ben Edgington	be03657b1b	Improvements to parallel URL check	2023-09-28 14:25:27 +01:00
Ben Edgington	46091d999f	Add parallel URL checker	2023-09-28 14:25:22 +01:00
Ben Edgington	738f9adaea	Allow empty commits when patching all	2023-09-22 11:23:51 +01:00
Ben Edgington	c76ed056bb	Update for pandoc 3.1.7	2023-09-04 12:00:10 +01:00
Ben Edgington	02c5c74ac9	Add warning about an issue with Pandoc 3.1.6.2	2023-08-25 10:22:47 +01:00
Ben Edgington	cadfcfe032	Add blank lines to patch_all output	2023-08-14 12:29:27 +01:00
Ben Edgington	9a23d91e08	Upgrade markdownlint ... Although v0.30.0 is slower than v0.29.0, upgrade anyway. The new version fixes a false positive, so that's good.	2023-08-14 12:27:18 +01:00
Ben Edgington	c2e1fc6469	Rename update branches script	2023-07-28 15:09:28 +01:00
Ben Edgington	a6e224b427	Safer branch updating	2023-07-28 15:04:07 +01:00
Ben Edgington	73cbdac7af	Add branch update utility	2023-07-28 14:29:02 +01:00
Ben Edgington	956c2f74bf	Pick up version info from the git branch	2023-07-28 11:37:05 +01:00
Ben Edgington	56a77e8f29	Update PDF readme	2023-07-26 21:37:03 +01:00
Ben Edgington	a4742b9e7b	Bump pandoc version for PDF creation	2023-07-26 19:22:29 +01:00