From c5053267d2d5c189f7df620bf59e12340df1cab6 Mon Sep 17 00:00:00 2001
From: Serial <69764315+Serial-ATA@users.noreply.github.com>
Date: Thu, 30 Jun 2022 12:45:48 -0400
Subject: [PATCH 1/1] Add `dev deprecate` to the development basics

---
 book/src/development/basics.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/book/src/development/basics.md b/book/src/development/basics.md
index 78c429ea013..d3a11a31db8 100644
--- a/book/src/development/basics.md
+++ b/book/src/development/basics.md
@@ -91,6 +91,8 @@ cargo dev fmt
 cargo dev update_lints
 # create a new lint and register it
 cargo dev new_lint
+# deprecate a lint and attempt to remove code relating to it
+cargo dev deprecate
 # automatically formatting all code before each commit
 cargo dev setup git-hook
 # (experimental) Setup Clippy to work with IntelliJ-Rust
-- 
2.44.0