fix path for HTML generation in Doxygen