Common stuff for Doxygen since we don't have svn:externals anymore.