allow to quickly edit a page directly on github

tshepang · jyn514 · commit 451084b3bd1f · 2021-08-15T20:47:42.000-05:00
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml
@@ -12,6 +12,7 @@ renderer = ["html"]
 
 [output.html]
 git-repository-url = "https://github.com/rust-lang/rustc-dev-guide"
+edit-url-template = "https://github.com/rust-lang/rustc-dev-guide/tree/master/{path}?mode=edit"
 
 [output.html.fold]
 enable = true
