Make "docs" work with out-of-source builds.
Update Doxygen file.