Fix doc about the option to not build the archive