Update documentation wrt. the new build process