diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | .gitmodules | 5 | ||||
-rw-r--r-- | Makefile | 6 | ||||
m--------- | keyring | 0 |
4 files changed, 7 insertions, 5 deletions
@@ -7,3 +7,4 @@ tmp /www build-area puppet/modules +keyrings diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 7fb7a92..0000000 --- a/.gitmodules +++ /dev/null @@ -1,5 +0,0 @@ -[submodule "keyring"] - path = keyring - #url = git://anonscm.debian.org/keyring/keyring.git - url = https://salsa.debian.org/debian-keyring/keyring.git - ignore = dirty @@ -14,10 +14,16 @@ # Place - Suite 330, Boston, MA 02111-1307, USA # +.PHONY: keyring + web: @ikiwiki --setup ikiwiki.setup web_deploy: @rsync -avz --delete --exclude=keyring www/ debian:/var/sites/debian/www/ +keyring: + @rsync -az --progress keyring.debian.org::keyrings/ keyrings/ + @gpg --verify keyrings/sha512sums.txt + publish: web web_deploy diff --git a/keyring b/keyring deleted file mode 160000 -Subproject def80e60760843b7afe223c52e15503551a50dd |