Merge pull request #3253 from proux01/stdlib_install_take3

[core-dev] coq-stdlib install, take 3
coq · Dec 13, 2024 · f91818b · f91818b
2 parents 2915aa6 + 6981897
commit f91818b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -42,6 +42,7 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
+  ["mv" "stdlib/coq-stdlib.install" "."]
 ]
 
 url {