From b9577a1cf7277b7e7854c3b4ea009e2fed6ea242 Mon Sep 17 00:00:00 2001 From: XhmikosR Date: Wed, 14 Mar 2018 19:44:32 +0200 Subject: [PATCH] Alternative solution. Rely on `site.url` which is different for production. In that case do nothing with the search result, otherwise when in development remove our url from it. --- _includes/docs-sidebar.html | 2 +- assets/js/src/application.js | 9 +++++++-- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/_includes/docs-sidebar.html b/_includes/docs-sidebar.html index 3e82a8b217..c0a0982bcc 100644 --- a/_includes/docs-sidebar.html +++ b/_includes/docs-sidebar.html @@ -1,5 +1,5 @@