From ecdb9af44707aa2e771446309bdd725adc97e1e7 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Tue, 14 Sep 2004 14:43:09 +0000
Subject: [PATCH] wording

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

diff --git a/doc/gmsh.html b/doc/gmsh.html
index 0b07a86003..377b77adc7 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -77,9 +77,9 @@ capabilities</a>.
 <input type="submit" value="Search!">&nbsp;
 <input type=HIDDEN name="ps" value=10>
 <select name="ul">
-<option value="/gmsh/" SELECTED>all Gmsh resources
-<option value="/gmsh/doc/">documentation
-<option value="/pipermail/gmsh/">mailing lists archives
+<option value="/gmsh/" SELECTED>All Gmsh resources
+<option value="/gmsh/doc/">Gmsh documentation
+<option value="/pipermail/gmsh/">Gmsh mailing list archive
 </select>
 </form>
 
-- 
GitLab