bors 2f6439ae6a Auto merge of #6136 - dtolnay:serve, r=flip1995 ... Clippy dev subcommand to build and serve website This PR adds `clippy dev serve` which will pop open a browser with a local rendered 'ALL the Clippy Lints' website, and re-render as you edit stuff. --- changelog: none		2020-10-09 08:58:19 +00:00
..
adding_lints.md	Clippy dev subcommand to build and serve website	2020-10-08 06:43:02 -07:00
backport.md	Document how to backport changes to beta	2020-03-25 19:52:58 +01:00
basics.md	Add note that we follow a rustc no merge-commit policy	2020-10-08 23:13:06 +09:00
changelog_update.md	Merge commit 'ff0993c5e9' into clippy	2020-06-09 14:36:01 +00:00
common_tools_writing_lints.md	Misc doc updates	2020-09-15 10:29:53 +02:00
release.md	Merge commit 'ff0993c5e9' into clippy	2020-06-09 14:36:01 +00:00