149 Commits

Author	SHA1	Message	Date
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
Ben Edgington	346b83bc7c	Fix word count stats	2023-07-20 14:24:05 +01:00
Ben Edgington	fa807c28e8	Make PDF pagebreak filter more robust	2023-07-18 13:32:43 +01:00
Ben Edgington	636b85c393	Fix PDF generation	2023-07-17 22:04:21 +01:00
Ben Edgington	aefda5ea41	Tweak error message in HTML check	2023-06-30 11:02:28 +01:00
Ben Edgington	aff06d977e	Make some scripts read from stdin	2023-06-27 11:26:10 +01:00
Ben Edgington	427fe32ab5	Rework spelling checks	2023-06-26 17:45:50 +01:00
Ben Edgington	4cca787c6a	Move footnote ... Footnotes in quoted text vanish from the PDF. As a workaround, I've moved the footnote.	2023-06-26 15:05:24 +01:00
Ben Edgington	4ac992189e	Add note on missing footnote in PDF	2023-06-26 13:39:21 +01:00
Ben Edgington	a3f7935cdc	Changes for pandoc v3.1.4	2023-06-26 11:41:21 +01:00
Ben Edgington	3728ad5e6f	Add feedback from chong-he	2023-06-26 10:02:36 +01:00
Ben Edgington	0a18b526ea	Disable ordered list check	2023-06-16 16:25:50 +01:00
Ben Edgington	b963fec8eb	Improve latex linting	2023-06-16 13:20:18 +01:00
Ben Edgington	9f60077b6c	New trailing whitespace check script	2023-06-16 08:57:25 +01:00
Ben Edgington	65ebdeab71	Patch node modules when publishing	2023-06-09 09:09:45 +01:00
Ben Edgington	3acd5fa38c	Fix typo	2023-06-05 15:16:06 +01:00
Ben Edgington	c4b128444d	Add LaTeX linting to prebuild checks	2023-06-05 15:11:28 +01:00
Ben Edgington	c25972a298	Improve excluded domain checking for links	2023-06-01 14:14:30 +01:00
Ben Edgington	f691bc1383	Minor fiddling with Perl scripts	2023-05-24 13:35:58 +01:00
Ben Edgington	e00aae5bcc	Detect pages with missing trailing slashes	2023-05-23 14:54:12 +01:00
Ben Edgington	c639329cd6	Update a couple of internal links	2023-05-21 17:29:53 +01:00
Ben Edgington	267a87bac0	Apparatus for trailing slashes on URLs	2023-05-19 20:25:22 +01:00
Ben Edgington	e8a735fa8f	Add byte count to stats	2023-05-18 16:51:28 +01:00
Ben Edgington	796bdb2fe5	Add statistics script	2023-05-18 15:34:50 +01:00
Ben Edgington	83b2c25bf2	Add software licence info to include files	2023-05-16 08:19:10 +01:00
Ben Edgington	c5c0079222	Add more syntax higlighting options for PDF	2023-05-11 17:47:57 +01:00
Ben Edgington	4880e3ef53	Update PDF README	2023-05-10 16:16:03 +01:00
Ben Edgington	9c7018703f	Process <wbr/> as a soft line break	2023-05-09 16:37:57 +01:00
Ben Edgington	71c90c7e02	Clean up Lua scripts and README for the PDF	2023-05-06 20:29:29 +01:00
Ben Edgington	6d4e1d4da7	Switch to Dejavu Sans Mono font for code	2023-05-06 15:19:02 +01:00
Ben Edgington	9173156749	Full update for Capella	2023-05-05 17:42:34 +01:00