diff -r 97d978243703 -r 218171dc022d doc/DoxygenLayout.xml
--- a/doc/DoxygenLayout.xml	Mon Aug 05 14:03:29 2013 +0200
+++ b/doc/DoxygenLayout.xml	Mon Aug 05 14:21:58 2013 +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>