debian/bin/init-reprepro.sh: Use reprepro export.

This initializes an empty but working repository which can be accessed
by apt-get update without errors.

diff --git a/debian/bin/init-reprepro.sh b/debian/bin/init-reprepro.sh
index f16a69b979140739e6e7e4ab491c1089da05d1ab..ff14f5b215e59e73238c4fceffb7aca10411b358 100755 (executable)
--- a/debian/bin/init-reprepro.sh
+++ b/debian/bin/init-reprepro.sh
@@ -78,7 +78,7 @@ EOF
     # reprepro is not installed, it's not necessary for a correct
     # installation.
     echo 'Initializing repository, errors are ignored.' >&2
-    ( cd "$repo" && reprepro check ) || true
+    ( cd "$repo" && reprepro export ) || true
 
     # Does nothing if the same key is imported multiple times.
     echo 'Adding key with apt-key.' >&2