diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-23 15:05:26 -0400 |
|---|---|---|
| committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2010-03-23 15:05:26 -0400 |
| commit | 8238a98e9ae96cb9097d84b3981d0fa3e276948b (patch) | |
| tree | 962b5600c1c21f91b333135fb5be9143c1974aac /repo/publish | |
| parent | 66e173de23e2141983c352183465a13825b8ebb3 (diff) | |
move the apt repo management into monkeysphere-docs
Diffstat (limited to 'repo/publish')
| -rwxr-xr-x | repo/publish | 5 |
1 files changed, 0 insertions, 5 deletions
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/ |