diff options
| author | Cyril Cohen | 2015-12-12 19:05:57 -0500 |
|---|---|---|
| committer | Cyril Cohen | 2015-12-12 19:07:33 -0500 |
| commit | 824582611905ebb53d770ab3acbe72816011b285 (patch) | |
| tree | 8391790b9533f41bc69368326e65ae2319477528 /etc | |
| parent | 4db6c583711dfe8e9c7285e630bfb0cf8f33c0a6 (diff) | |
modif packager ":" -> "-"
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/utils/packager | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index 4ede812..5a805d0 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -3,9 +3,9 @@ set -e set -x -for pkg in algebra basic field character fingroup odd_order real_closed solvable ssreflect +for pkg in algebra field character fingroup odd_order real_closed solvable ssreflect do -pkgdir="$(git root)/opam/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 |