Linking CMake doc into the main page

diff --git a/index.html b/index.html
index 6b19d9ae23465c1cc99d88487e6924181563f7b6..cf3ab2fed21307ef73a7233832f1f793d0e6de56 100755 (executable)
--- a/index.html
+++ b/index.html
@@ -110,6 +110,7 @@
         <h4>Compilation</h4>
         <ul>
             <li><a href="gui/KERNEL/INSTALL.html">Installation instructions</a></li>
+            <li><a href="dev/cmake/build/html/index.html">CMake build procedure</a></li>
         </ul>
     </td>