From 8238a98e9ae96cb9097d84b3981d0fa3e276948b Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 23 Mar 2010 15:05:26 -0400 Subject: [PATCH] move the apt repo management into monkeysphere-docs --- repo/conf/distributions | 10 ---------- repo/conf/options | 2 -- repo/publish | 5 ----- 3 files changed, 17 deletions(-) delete mode 100644 repo/conf/distributions delete mode 100644 repo/conf/options delete mode 100755 repo/publish 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/ -- 2.25.1