better link to development doc

doc/gmsh.html

@@ -141,7 +141,6 @@ Public License (GPL)</a>:
         <a href="bin/MacOSX/gmsh-git-MacOSX.dmg">MacOS</a>
       <li>Download the latest automatic <a href="src/gmsh-git-source.tgz">source
         code</a> snapshot
-      <li>Read the latest automatic <a href="dev/doc/texinfo/gmsh.html">reference manual</a> snapshot
       <li>Download the latest automatic SDK snapshot for
         <a href="bin/Windows/gmsh-git-Windows64-sdk.zip">Windows 64-bit</a>,
         <a href="bin/Windows/gmsh-git-Windows32-sdk.zip">Windows 32-bit</a>,
@@ -184,10 +183,14 @@ algorithms</a>.
 <h2><a name="Documentation"></a>Documentation</h2>
 
 <ul>
-  <li><a href="doc/texinfo/gmsh.html">Gmsh reference manual</a>
+  <li><a href="doc/texinfo/gmsh.html">Gmsh reference manual (stable release)</a>
       (also available in
       <a href="doc/texinfo/gmsh.pdf">PDF</a> and in
       <a href="doc/texinfo/gmsh.txt">plain text</a>)
+  <li><a href="dev/doc/texinfo/gmsh.html">Gmsh reference manual (development version)</a>
+      (also available in
+      <a href="dev/doc/texinfo/gmsh.pdf">PDF</a> and in
+      <a href="dev/doc/texinfo/gmsh.txt">plain text</a>)
   <li><a href="screencasts/">Screencasts</a> showing how to use
     the graphical user interface
   <li><a href="https://gitlab.onelab.info/gmsh/gmsh">Gitlab development site</a> with a