doc/doxygen/Makefile.am: do not display empty files section in html, it is generated automatically elsewhere (but the file 17files.doxy cannot be removed as it is needed in latex which does not generate automatically a file section ....)

doc/doxygen/Makefile.am

@@ -217,6 +217,9 @@ $(DOX_TAG): $(dox_inputs)
 	$(DOXYGEN) $(DOX_CONFIG)
 	sed -i 's/ModuleDocumentation <\/li>/<a class="el" href="modules.html">Modules<\/a>/' html/index.html
 	sed -i 's/FileDocumentation <\/li>/<a class="el" href="files.html">Files<\/a>/' html/index.html
+        # comment for the line above: what we really want to do is to remove the line, but dy doing so, it avoids opening the interactive menu when browsing files
+	sed -i 's/\[ "Files", "Files.html", null \]/\[ "", "Files.html", null \]/' html/navtree.js
+	sed -i 's/.*"Files.html".*//' html/pages.html
 
 dist_pdf_DATA = $(DOX_PDF)