diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index 2e9e4300868fb..8ab077d94c216 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -89,6 +89,8 @@ Deploying