From 3f7d0c8d75b0ace9b199754341eed38a6b12b36c Mon Sep 17 00:00:00 2001
From: Martin Taibr <taibr.martin@gmail.com>
Date: Thu, 28 Feb 2019 19:17:10 +0100
Subject: [PATCH] Use the same <title> as <h1> on gh-pages

---
 util/gh-pages/index.html    | 2 +-
 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 6cbbeea06445..e11f2eeba3b3 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 169d3fa16d22..391e22a4743c 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>