2f2fa6a
Revert "Temporarily disable doxygen docs to workaround FTBFS" This reverts commit ddba03d4fc74683cc428a2e6e0fd25b7b5a4a4c5.