diff options
| author | Kornel <kornel@geekhood.net> | 2019-03-14 22:52:56 +0000 |
|---|---|---|
| committer | Kornel <kornel@geekhood.net> | 2019-03-14 22:56:38 +0000 |
| commit | 8b5a748d507a30c8d97dca55bd2c3f0f0455e34e (patch) | |
| tree | 93ab03c154ab24c65bff7347f1ed5654c1887d7c /src | |
| parent | bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7 (diff) | |
| download | rust-8b5a748d507a30c8d97dca55bd2c3f0f0455e34e.tar.gz rust-8b5a748d507a30c8d97dca55bd2c3f0f0455e34e.zip | |
Exclude old book redirect stubs from search engines
Diffstat (limited to 'src')
| -rw-r--r-- | src/bootstrap/doc.rs | 4 | ||||
| -rw-r--r-- | src/doc/redirect.inc | 2 |
2 files changed, 4 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/") 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 @@ +<meta name="robots" content="noindex,follow"> +<link rel="shortcut icon" href="https://www.rust-lang.org/favicon.ico"> |