diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2020-03-10 11:01:43 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-10 11:01:43 -0300 |
| commit | 25ccfc7b740536f80d2dd98805a3dd1237a02b2e (patch) | |
| tree | ac543a3249b28452654f86367c024f27413e3a43 /src/doc/rustc-dev-guide/book.toml | |
| parent | 5dd0fa1e7b7f707dd730c91b7b0aa99aa19ed4fd (diff) | |
| download | rust-25ccfc7b740536f80d2dd98805a3dd1237a02b2e.tar.gz rust-25ccfc7b740536f80d2dd98805a3dd1237a02b2e.zip | |
Rename rustc-guide to rustc-dev-guide (#601)
* Rename rustc-guide to rustc-dev-guide * rust-lang.github.io/rustc-dev-guide -> rustc-dev-guide.rust-lang.org
Diffstat (limited to 'src/doc/rustc-dev-guide/book.toml')
| -rw-r--r-- | src/doc/rustc-dev-guide/book.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/book.toml b/src/doc/rustc-dev-guide/book.toml index 3a5b1fd6dc7..3d90479cb2e 100644 --- a/src/doc/rustc-dev-guide/book.toml +++ b/src/doc/rustc-dev-guide/book.toml @@ -7,7 +7,7 @@ description = "A guide to developing rustc" create-missing = false [output.html] -git-repository-url = "https://github.com/rust-lang/rustc-guide" +git-repository-url = "https://github.com/rust-lang/rustc-dev-guide" [output.html.fold] enable = true |