move the apt repo management into monkeysphere-docs

diff --git a/repo/conf/distributions b/repo/conf/distributions
deleted file mode 100644 (file)
index c97310e..0000000
--- a/repo/conf/distributions
+++ /dev/null
@@ -1,10 +0,0 @@
-Origin: The Monkeysphere Project
-Label: Monkeysphere/Debian
-Suite: experimental
-Codename: experimental
-Architectures: i386 powerpc amd64 arm source
-Components: monkeysphere
-Description: Packages implementing the Monkeysphere for debian
-SignWith: 2E8DD26C53F1197DDF403E6118E667F1EB8AF314
-DscIndices: Sources Release . .gz
-DebIndices: Packages Release . .gz

diff --git a/repo/conf/options b/repo/conf/options
deleted file mode 100644 (file)
index 6de6cad..0000000
--- a/repo/conf/options
+++ /dev/null
@@ -1,2 +0,0 @@
-verbose
-keepunreferencedfiles

diff --git a/repo/publish b/repo/publish
deleted file mode 100755 (executable)
index f12ae9f..0000000
--- a/repo/publish
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-
-# simple reminder script to publish the repository to the usual spot:
-
-rsync -avz --delete dists pool archivemaster@george.riseup.net:/srv/apt/