Previously this broke when using the --disable-doxygen-doc option


Former-commit-id: f89fa64e4b00c94f5d83e10e6983e6708c99f6ad