diff options
| author | bors <bors@rust-lang.org> | 2019-02-28 19:56:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-02-28 19:56:25 +0000 |
| commit | cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc (patch) | |
| tree | 8a27b68f14cc31bc3cf80e0d9495230a46b346aa | |
| parent | 275a3864b8d1c612662c5a416b2afa77bbf81499 (diff) | |
| parent | 3f7d0c8d75b0ace9b199754341eed38a6b12b36c (diff) | |
| download | rust-cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc.tar.gz rust-cfdf47e8b0d3cc229d4354a5fdadd0cd36ed20cc.zip | |
Auto merge of #3831 - martin-t:master, r=flip1995
Use the same <title> as <h1> on gh-pages I think this makes the page easier to find using firefox's URL bar - it (afaik) searches based on the page's URL and title so if somebody doesn't have it bookmarked but remembers that the page contained "ALL lints" or something similar it's easy to go to it directly without resorting to a search engine.
| -rw-r--r-- | util/gh-pages/index.html | 2 | ||||
| -rw-r--r-- | util/gh-pages/versions.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 6cbbeea0644..e11f2eeba3b 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -4,7 +4,7 @@ <meta charset="UTF-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> - <title>Clippy</title> + <title>ALL the Clippy Lints</title> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.6/css/bootstrap.min.css"/> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.5.0/styles/github.min.css"/> diff --git a/util/gh-pages/versions.html b/util/gh-pages/versions.html index 169d3fa16d2..391e22a4743 100644 --- a/util/gh-pages/versions.html +++ b/util/gh-pages/versions.html @@ -4,7 +4,7 @@ <meta charset="UTF-8"/> <meta name="viewport" content="width=device-width, initial-scale=1"/> - <title>Clippy</title> + <title>Clippy lints documentation</title> <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.6/css/bootstrap.min.css"/> <style> |