9 Commits (618d8dd8adb97601f258a07b99104eaf4e4cbd12)

Author	SHA1	Message	Date
Andreas Deininger	5ecf3c1eb2	Bump GitHub action workflows to their latest versions	2024-09-11 21:22:59 +07:00
Wilfred Hughes	3476a68efb	Simplify description of manual	2024-02-08 08:47:33 +07:00
Wilfred Hughes	78dabcabce	Remove unused manual configuration item ... This 'multlingual' option isn't mentioned in the mdbook docs as far as I can see.	2022-09-23 23:08:54 +07:00
Wilfred Hughes	80429e9697	Include cargo version in the generated manual	2022-04-21 00:31:06 +07:00
Wilfred Hughes	607a05a0a5	Add GitHub link to manual header	2022-04-16 13:44:01 +07:00
Wilfred Hughes	b6e554f5b6	Don't provide copy buttons on code samples ... They're rarely useful on the examples on the manual, which often include command names, output, and even dollar signs.	2022-04-16 13:33:59 +07:00
Wilfred Hughes	a6b4940d09	Rename parser page to focus on why it's relevant to users	2022-04-15 19:05:08 +07:00
Wilfred Hughes	18b1204b3a	Rename Getting Started to Installation in the manual	2022-04-14 21:26:36 +07:00
Wilfred Hughes	05df450601	Use 'manual' terminology consistently	2021-09-08 23:15:32 +07:00