diff options
author | 2013-11-22 15:02:31 -0400 | |
---|---|---|
committer | 2013-11-22 15:02:31 -0400 | |
commit | eacb463ef031cbc63bf6eb9b9340e3d6c3fe0db7 (patch) | |
tree | 00d2f8e248f632422cc9ba902b9fa04041661f5e | |
parent | 19978f265fd526d86764512f148d65bb01bac4a5 (diff) |
sync files to website too
-rw-r--r-- | Build/DistributionUpdate.hs | 8 |
1 files changed, 8 insertions, 0 deletions
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 |