Added --disable-documentation option.