diff --git a/docs/index.html b/docs/index.html
index aa5696153ed3ad..566ada50d13a60 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -20,8 +20,8 @@
@@ -97,7 +97,7 @@
// Redirect to the manual
- window.location.href = hash.replace(/^manual\/([^\/]+)\/([^\/]+)\/(.+)$/, '../manual/#$1/$3').toLowerCase();
+ window.location.href = hash.replace( /^manual\/([^\/]+)\/([^\/]+)\/(.+)$/, '../manual/#$1/$3' ).toLowerCase();
}
diff --git a/manual/index.html b/manual/index.html
index 41df10c246faf8..5eeea47b180328 100644
--- a/manual/index.html
+++ b/manual/index.html
@@ -20,8 +20,8 @@
diff --git a/utils/docs/template/tmpl/layout.tmpl b/utils/docs/template/tmpl/layout.tmpl
index 393a6a51e229e2..10c75786c57afd 100644
--- a/utils/docs/template/tmpl/layout.tmpl
+++ b/utils/docs/template/tmpl/layout.tmpl
@@ -30,8 +30,8 @@