Add '5' to title of front and manual pages

marijnh · marijnh · commit 7a2106aed246 · 2022-07-20T09:41:41.000+02:00
diff --git a/doc/manual.html b/doc/manual.html
@@ -1,6 +1,6 @@
 <!doctype html>
 
-<title>CodeMirror: User Manual</title>
+<title>CodeMirror 5 User Manual</title>
 <meta charset="utf-8"/>
 <link rel=stylesheet href="docs.css">
 <script src="activebookmark.js"></script>
diff --git a/index.html b/index.html
@@ -1,6 +1,6 @@
 <!doctype html>
 
-<title>CodeMirror</title>
+<title>CodeMirror 5</title>
 <meta charset="utf-8"/>
 
 <link rel=stylesheet href="lib/codemirror.css">
