Replace deprecated --no-ri/rdoc with --no-document