diff -r cd72eae05bdf -r 3c00344f49c9 doc/DoxygenLayout.xml
--- a/doc/DoxygenLayout.xml	Mon Jul 16 16:21:40 2018 +0200
+++ b/doc/DoxygenLayout.xml	Wed Oct 17 19:14:07 2018 +0200
@@ -17,7 +17,6 @@
       <tab type="files" visible="yes" title="" intro=""/>
       <tab type="globals" visible="yes" title="" intro=""/>
     </tab>
-    <tab type="dirs" visible="yes" title="" intro=""/>
     <tab type="examples" visible="yes" title="" intro=""/>
     <tab type="pages" visible="yes" title="" intro=""/>
   </navindex>