Fix --disable-doxygen-docs install