redirect doc.rust-lang.org?

[liigo]

1: https://doc.rust-lang.org/ {stable,nightly}
2: https://www.rust-lang.org/documentation.html
Maybe we could redirect 1, which is out of date, to 2?

[steveklabnik]

1 is out of date?

On Jun 21, 2016, 02:32 -0400, Liigo Zhuangnotifications@github.com, wrote:

1:https://doc.rust-lang.org/{stable/nightly}
2:https://www.rust-lang.org/documentation.html
Maybe we could redirect 1, which is out of date, to 2?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly,view it on GitHub(#415), ormute the thread(https://github.com/notifications/unsubscribe/AABsiihSjGI2X9tCVYEv69HQe9iDEVDvks5qN4WFgaJpZM4I6Zsa).

[liigo]

'Copyright © 2011-2015' and 'Copyright © 2011' in 1.
1 has much less contents than 2.
Maybe 2 could replace 1. Is there any reason to have two similar pages?

[brson]

The reasons they are separate are mostly technical. docs.rust-lang.org is a pass-through to the documentation s3 bucket and generated from the Rust source tree, separately from the website. That page, when considered independently from the website, like on your hard disk, serves as an index to the Rust docs we distribute. On the internet it is redundant by the website docs index.

We could redirect doc.rust-lang.org or make it just display the same thing as the website doc page. Would be good to do something useful at the top level of that domain.

[liigo]

Yeah, so closing this.

[liigo]

Maybe I should not close this? I don't known.