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/search.html b/doc/html/search.html
index 49541cda..cf6e46b9 100644
--- a/doc/html/search.html
+++ b/doc/html/search.html
@@ -90,19 +90,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>