www: add links to Puk, pioman, and nmad documentation

public/index.html

@@ -203,6 +203,18 @@
 
     </div>
 
+    <div class="sec">
+      <h1>Documentation</h1>
+      <p>
+	<b>&raquo;&nbsp;</b><a href="https://pm2.gitlabpages.inria.fr/pm2/Puk/doc/">Puk documentation</a>.
+      </p>
+      <p>
+	<b>&raquo;&nbsp;</b><a href="https://pm2.gitlabpages.inria.fr/pm2/pioman/doc/">pioman documentation</a>.
+      </p>
+      <p>
+	<b>&raquo;&nbsp;</b><a href="https://pm2.gitlabpages.inria.fr/pm2/nmad/doc/">NewMadeleine documentation</a>.
+      </p>
+    </div>
     
     <div class="sec">
       <a name="contact"></a>