Merge pull request #906 from virtualtam/docker/cleanup

docker: remove `dev` image, update documentation 

1 files changed, 4 insertions, 4 deletions

diff --git a/doc/html/Browsing-and-searching/index.html b/doc/html/Browsing-and-searching/index.html
index c8b7386e..f2454103 100644
--- a/doc/html/Browsing-and-searching/index.html
+++ b/doc/html/Browsing-and-searching/index.html
@@ -94,19 +94,19 @@
     <ul class="subnav">
                 <li class="">
                     
-    <a class="" href="../Docker-101/">Docker 101</a>
+    <a class="" href="../docker/docker-101/">Docker 101</a>
                 </li>
                 <li class="">
                     
-    <a class="" href="../Shaarli-images/">Shaarli images</a>
+    <a class="" href="../docker/shaarli-images/">Shaarli images</a>
                 </li>
                 <li class="">
                     
-    <a class="" href="../Reverse-proxy-configuration/">Reverse proxy configuration</a>
+    <a class="" href="../docker/reverse-proxy-configuration/">Reverse proxy configuration</a>
                 </li>
                 <li class="">
                     
-    <a class="" href="../Docker-resources/">Docker resources</a>
+    <a class="" href="../docker/resources/">Docker resources</a>
                 </li>
     </ul>
             </li>