[shark] 55/58: website search fixed

[Ghislain Vaillant]

This is an automated email from the git hooks/post-receive script.

ghisvail-guest pushed a commit to branch master
in repository shark.

commit c3a32487540ae8cbdb980986388454d4541ab7e8
Author: Tobias Glasmachers <tobias.glasmachers at ini.rub.de>
Date:   Wed Mar 2 15:44:05 2016 +0100

    website search fixed
---
 doc/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/index.html b/doc/index.html
index e6007c5..dd56413 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -34,7 +34,7 @@
 				theinput = document.createElement("input");
 				theinput.type = "text";
 				theinput.name = "q";
-				theinput.value = term + " -site:http://image.diku.dk/shark/";
+				theinput.value = term + " site:http://image.diku.dk/shark/";
 				theform.appendChild(theinput);
 				document.body.appendChild(theform);
 				theform.submit();
@@ -300,7 +300,7 @@ The Shark machine learning library is jointly maintained by researchers from
 <span class="legal-notice" onclick="toggleLegalNotice();">legal notice</span>
 <div id="legal" name="legal">
 <p>
-Copyright (C) 2015 Shark development team.
+Copyright (C) 2015-2016 Shark development team.
 </p>
 <p>
 This website is provided in the hope that it will be useful,

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/shark.git