From 8238a98e9ae96cb9097d84b3981d0fa3e276948b Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 23 Mar 2010 15:05:26 -0400 Subject: move the apt repo management into monkeysphere-docs --- repo/publish | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 repo/publish (limited to 'repo/publish') 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/ -- cgit v1.2.3