From 7fc13d473c4b9483500fae832cfa2fe580b0b4b2 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 24 Jan 2016 08:45:47 +0000
Subject: [PATCH]

---
 doc/gmsh.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/gmsh.html b/doc/gmsh.html
index c2ca5655f4..7d6ac27c50 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -196,7 +196,7 @@ program, you can file a report directly
 	     "Login and password: gmsh">here</a>.
 </p>
 
-<form method="get" action="http://www.geuz.org/search/search-geuz.cgi">
+<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">
-- 
GitLab