From eacb463ef031cbc63bf6eb9b9340e3d6c3fe0db7 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Fri, 22 Nov 2013 15:02:31 -0400 Subject: sync files to website too --- Build/DistributionUpdate.hs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs index d3d144afa..e59663d8e 100644 --- a/Build/DistributionUpdate.hs +++ b/Build/DistributionUpdate.hs @@ -46,6 +46,14 @@ makeinfos = do , Param "-m" , Param "update distribution info files" ] + void $ inRepo $ runBool + [ Param "git-annex" + , Params "move --to website" + ] + void $ inRepo $ runBool + [ Param "git-annex" + , Params "sync" + ] getRepoDir :: IO FilePath getRepoDir = do -- cgit v1.2.3