use --no-browser in opam-publish

LPCIC · Aug 30, 2023 · 3bef604 · 3bef604
1 parent 9924781
commit 3bef604
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile.release b/Makefile.release
@@ -7,7 +7,7 @@ release:
 	read OPTS;\
 	TAG=$(TAG);\
 	opam-publish --tag=$(TAG) --packages-directory=$(OPAM_SUITE)/packages \
-		--repo=coq/opam-coq-archive -v $${TAG##v} $$OPTS \
+		--repo=coq/opam --no-browser -v $${TAG##v} $$OPTS \
 		https://github.com/LPCIC/coq-elpi/releases/download/$$TAG/coq-elpi-$${TAG##v}.tar.gz
 
 release-rc: OPAM_SUITE=extra-dev