Skip to content

Fix link to Installing Rust section of the book - #31280

Merged
bors merged 1 commit into
rust-lang:masterfrom
raindev:patch-1
Jan 30, 2016
Merged

bors merged 1 commit into
rust-lang:masterfrom
raindev:patch-1

Conversation

@raindev

@raindev raindev commented Jan 29, 2016

Copy link
Copy Markdown
Contributor

Perhaps, it makes more sense to link straight to Installing on Linux or Mac and Installing on Windows sections. Platform Support section could be skipped in case of quick start.

@rust-highfive

Copy link
Copy Markdown
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@steveklabnik

Copy link
Copy Markdown
Contributor

@bors: r+ rollup

thanks!

@bors

bors commented Jan 29, 2016

Copy link
Copy Markdown
Collaborator

📌 Commit 1339ca9 has been approved by steveklabnik

@bors

bors commented Jan 30, 2016

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 1339ca9 with merge 7fe975b...

@bors

bors commented Jan 30, 2016

Copy link
Copy Markdown
Collaborator

💔 Test failed - auto-linux-cross-opt

@alexcrichton

Copy link
Copy Markdown
Member

@bors: retry

On Fri, Jan 29, 2016 at 9:33 PM, bors notifications@github.com wrote:

[image: 💔] Test failed - auto-linux-cross-opt
http://buildbot.rust-lang.org/builders/auto-linux-cross-opt/builds/1072

—
Reply to this email directly or view it on GitHub
#31280 (comment).

Manishearth added a commit to Manishearth/rust that referenced this pull request Jan 30, 2016
Perhaps, it makes more sense to link straight to [Installing on Linux or Mac](https://doc.rust-lang.org/book/getting-started.html#installing-on-linux-or-mac) and [Installing on Windows](https://doc.rust-lang.org/book/getting-started.html#installing-on-windows) sections. Platform Support section could be skipped in case of *quick* start.
bors added a commit that referenced this pull request Jan 30, 2016
@bors
bors merged commit 1339ca9 into rust-lang:master Jan 30, 2016
@raindev
raindev deleted the patch-1 branch February 5, 2016 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants