8 commits

Author	SHA1	Message	Date
flip1995	cbe4de2f6c	Book: Add continuous integration description	2022-06-06 16:17:57 +02:00
flip1995	97bceb0e31	Book: Restructure Dev chapter ... Group everything that has something to do with Clippy development under the "Development" chapter, so that Clippy users can't get confused.	2022-06-06 16:16:11 +02:00
flip1995	0e42282ed5	Book: Write lint group descriptions ... This removes the empty separate files for the different groups and adds a single file giving short explanations for each group and what to expect from those groups.	2022-06-06 16:16:07 +02:00
flip1995	d12a5c3a52	Book: Split up and rewrite installation and usage	2022-06-06 16:16:01 +02:00
flip1995	404432b791	Book: Update GHA doc and remove GitLab placeholder	2022-06-06 16:15:53 +02:00
flip1995	206ec6e2f6	Move syncing doc to book	2022-06-06 16:15:53 +02:00
josh rotenberg	853d7eeed6	Book: add a ci chapter	2022-06-06 16:15:52 +02:00
josh rotenberg	4e6b55e9b8	Initial commit for the Clippy Book	2022-06-06 16:15:52 +02:00