Move syncing doc to book

[rust.git] / book / src / SUMMARY.md

diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
index 5d10101d6377ae3733d470f81ab129cd6a0c9a42..200b0cb29ff4e953cd5d327e54282eeedf2c48ff 100644 (file)
--- a/book/src/SUMMARY.md
+++ b/book/src/SUMMARY.md
@@ -22,6 +22,7 @@
     - [Adding Lints](development/adding_lints.md)
     - [Common Tools](development/common_tools_writing_lints.md)
 - [Infrastructure](infrastructure/README.md)
+    - [Syncing changes between Clippy and rust-lang/rust](infrastructure/sync.md)
     - [Backporting Changes](infrastructure/backport.md)
     - [Updating the Changelog](infrastructure/changelog_update.md)
     - [Release a New Version](infrastructure/release.md)