diff options
| -rw-r--r-- | site/_includes/header.html | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/site/_includes/header.html b/site/_includes/header.html index 83d051fa8..6e91a1f42 100644 --- a/site/_includes/header.html +++ b/site/_includes/header.html @@ -4,6 +4,9 @@ <meta name="author" content="{{ site.authors }}"> <meta name="generator" content="Jekyll v{{ jekyll.version }}"> +<meta name="docsearch:language" content="en"> +<meta name="docsearch:version" content="{{ site.docs_version }}"> + <title> {%- if page.title -%} {{ page.title | smartify }} ยท {{ site.title | smartify }} |