From 8b5a748d507a30c8d97dca55bd2c3f0f0455e34e Mon Sep 17 00:00:00 2001 From: Kornel Date: Thu, 14 Mar 2019 22:52:56 +0000 Subject: [PATCH] Exclude old book redirect stubs from search engines --- src/bootstrap/doc.rs | 4 ++-- src/doc/redirect.inc | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 src/doc/redirect.inc 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/") diff --git a/src/doc/redirect.inc b/src/doc/redirect.inc new file mode 100644 index 00000000000..33e3860c2a4 --- /dev/null +++ b/src/doc/redirect.inc @@ -0,0 +1,2 @@ + +