diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-11-22 15:02:31 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-11-22 15:02:31 -0400 |
| commit | eacb463ef031cbc63bf6eb9b9340e3d6c3fe0db7 (patch) | |
| tree | 00d2f8e248f632422cc9ba902b9fa04041661f5e /Build | |
| parent | 19978f265fd526d86764512f148d65bb01bac4a5 (diff) | |
sync files to website too
Diffstat (limited to 'Build')
| -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 |