Merging Doxygen and GitHub documentation