diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-09-25 01:08:33 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-10-21 01:15:11 +0200 |
| commit | fb2813bcab3b031b92566daaf0c4debb22aa0f70 (patch) | |
| tree | c5d34be2763d213022e9aa5c3ee887e71dd37382 /src/bootstrap | |
| parent | ca2639e82ec4a18d7359efbfb555ea69dd644c97 (diff) | |
| download | rust-fb2813bcab3b031b92566daaf0c4debb22aa0f70.tar.gz rust-fb2813bcab3b031b92566daaf0c4debb22aa0f70.zip | |
Add index page
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/doc.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index 17ccb04a714..5e02444490c 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -405,6 +405,7 @@ impl Step for Standalone { cmd.arg("--html-after-content").arg(&footer) .arg("--html-before-content").arg(&version_info) .arg("--html-in-header").arg(&favicon) + .arg("--index-page").arg("src/doc/index.md") .arg("--markdown-playground-url") .arg("https://play.rust-lang.org/") .arg("-o").arg(&out) |