From 2da2739ca012fd2669188aee030c692974e7f5d6 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 2 Oct 2016 06:53:49 +0000
Subject: [PATCH]

---
 doc/gmsh.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/gmsh.html b/doc/gmsh.html
index 500490e85e..4efa4d5055 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -201,9 +201,9 @@ program, you can file a report directly
 <input type="submit" value="Search!">&nbsp;
 <input type="hidden" name="ps" value="10">
 <select name="ul">
-  <option value="/" SELECTED>All Gmsh resources
-  <option value="/doc/">Gmsh documentation
-  <option value="/pipermail/gmsh">Gmsh mailing list archives
+  <option value="/" SELECTED>Whole site
+  <option value="/doc/">Documentation
+  <option value="/pipermail/gmsh">Mailing list archives
 </select>
 </form>
 
-- 
GitLab