add Doxygen support