diff --git a/doc/gmsh.html b/doc/gmsh.html index fadabb6d2d940d38738b9ccdbfeef21ca3d768d3..46ccf599d2c22240b036a0e9d8390deb9fcfed48 100644 --- a/doc/gmsh.html +++ b/doc/gmsh.html @@ -77,12 +77,25 @@ capabilities</a>. <a href="/gmsh/doc/myperlsolver.tgz">Perl solver</a> </ul> +<!-- simple interface <form method=GET action="http://www.geuz.org/search/search-geuz.cgi"> <input size=30 name="q" value=""> <input type="submit" value="Search!"> <input type=HIDDEN name="ul" value="/gmsh/"> <input type=HIDDEN name="ps" value=10> </form> +--> + +<form method=GET action="http://www.geuz.org/search/search-geuz.cgi"> +<input size=30 name="q" value=""> +<input type="submit" value="Search!"> +<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 +</select> +</form> <h2><a name="Mailing lists"></a>Mailing lists</h2>