From: Daniel Kahn Gillmor Date: Tue, 23 Mar 2010 19:05:26 +0000 (-0400) Subject: move the apt repo management into monkeysphere-docs X-Git-Url: https://codewiz.org/gitweb?a=commitdiff_plain;h=8238a98e9ae96cb9097d84b3981d0fa3e276948b;p=monkeysphere.git move the apt repo management into monkeysphere-docs --- diff --git a/repo/conf/distributions b/repo/conf/distributions deleted file mode 100644 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 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 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/