diff --git a/src/bootstrap/doc.rs b/src/bootstrap/doc.rs
index e0ad0422a6ce3..a70fb1f342389 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/")
diff --git a/src/doc/redirect.inc b/src/doc/redirect.inc
new file mode 100644
index 0000000000000..33e3860c2a434
--- /dev/null
+++ b/src/doc/redirect.inc
@@ -0,0 +1,2 @@
+
+