Document how to create a Clippy release

[rust.git] / util / gh-pages / index.html

diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 6cbbeea0644552ada9455cbc6db64fb0751b8905..e11f2eeba3b32d11e5cd64b72a10b4c44498132c 100644 (file)
--- 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"/>