From a9a30ef6db8f70c06826ee61ca586e4b0e78be31 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@uliege.be>
Date: Sat, 30 Jan 2021 22:38:35 +0100
Subject: [PATCH] goodbye mnogosearch

---
 doc/gmsh.html | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/doc/gmsh.html b/doc/gmsh.html
index da00d5284a..74f18dff90 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -213,17 +213,6 @@ on <a href="https://gitlab.onelab.info/gmsh/gmsh/issues"
 ><code>https://gitlab.onelab.info/gmsh/gmsh/issues</code></a>.
 </p>
 
-<form method="get" action="http://onelab.info/search/search.cgi">
-<input size="30" name="q" value="">&nbsp;
-<input type="submit" value="Search!">&nbsp;
-<input type="hidden" name="ps" value="10">
-<select name="ul">
-  <option value="/" SELECTED>Whole site
-  <option value="/doc/">Documentation
-  <option value="/pipermail/gmsh">Mailing list archives
-</select>
-</form>
-
 <h2><a name="Licensing"></a>Licensing</h2>
 
 <p>
-- 
GitLab