Packages: Fix mage repository name.

This commit is contained in:
Pierre-Antoine Rouby committed 2023-08-02 15:08:13 +02:00
1 parent 20329eba22
commit ee22dab89c
2 files changed
+8 -9

No files matched your search

+4 -4
View File
@@ -55,10 +55,10 @@ cp ../VERSION dist/pamhyr/
cp ../AUTHORS dist/pamhyr/
cp ../LICENSE dist/pamhyr/
mkdir -p dist/pamhyr/MAGE/
cp ../mage/mage dist/pamhyr/MAGE/
cp ../mage/mage_extraire dist/pamhyr/MAGE/
cp ../mage/mailleurPF dist/pamhyr/MAGE/
mkdir -p dist/pamhyr/mage/
cp ../mage/mage dist/pamhyr/mage/
cp ../mage/mage_extraire dist/pamhyr/mage/
cp ../mage/mailleurPF dist/pamhyr/mage/
mkdir -p dist/pamhyr/tests_cases/
mkdir -p dist/pamhyr/tests_cases/Saar