diff options
Diffstat (limited to 'src/bootstrap')
| -rw-r--r-- | src/bootstrap/doc.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs index e0ad0422a6c..a70fb1f3423 100644 --- a/src/bootstrap/doc.rs +++ b/src/bootstrap/doc.rs @@ -331,7 +331,7 @@ fn invoke_rustdoc( let path = builder.src.join("src/doc").join(markdown); - let favicon = builder.src.join("src/doc/favicon.inc"); + let header = builder.src.join("src/doc/redirect.inc"); let footer = builder.src.join("src/doc/footer.inc"); let version_info = out.join("version_info.html"); @@ -341,7 +341,7 @@ fn invoke_rustdoc( cmd.arg("--html-after-content").arg(&footer) .arg("--html-before-content").arg(&version_info) - .arg("--html-in-header").arg(&favicon) + .arg("--html-in-header").arg(&header) .arg("--markdown-no-toc") .arg("--markdown-playground-url") .arg("https://play.rust-lang.org/") |