make the opam package meta data

1 files changed, 3 insertions, 2 deletions

diff --git a/etc/utils/packager b/etc/utils/packager
index 5a8138d..fc645cb 100755
--- a/etc/utils/packager
+++ b/etc/utils/packager
@@ -5,9 +5,10 @@ set -x
 
 for pkg in algebra basic field character fingroup odd_order real_closed solvable ssreflect
 do
-pkgdir="$(git root)/extra-dev/packages/coq:mathcomp:$pkg/coq:mathcomp:$pkg.dev"
+pkgdir="$(git root)/opam/extra-dev/packages/coq:mathcomp:$pkg/coq:mathcomp:$pkg.dev"
 mkdir -p $pkgdir
 cp $(git root)/mathcomp/$pkg/opam $pkgdir/opam
+cp $(git root)/mathcomp/$pkg/descr $pkgdir/descr
 sed -r "/^(build|install)/s?make?make \"-C\" \"mathcomp/$pkg\"?" -i $pkgdir/opam
-done
 
+done