add --no-document to speed up CI