diff options
author | Joey Hess <joey@kitenet.net> | 2013-11-25 14:14:45 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-11-25 14:14:45 -0400 |
commit | a42796a157010844aceb08fdc46b9a9e809dfbd7 (patch) | |
tree | 21598ca3ed4570414a6d874ba31ac18fdf2f8bec /Build | |
parent | 20732983cccc8143fec93fc17b83aeb5f85ebfec (diff) |
fix 2 commands
Diffstat (limited to 'Build')
-rw-r--r-- | Build/DistributionUpdate.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs index fa5929ba9..0afc2211f 100644 --- a/Build/DistributionUpdate.hs +++ b/Build/DistributionUpdate.hs @@ -47,11 +47,11 @@ makeinfos = do , Param $ "publishing git-annex " ++ version ] void $ inRepo $ runBool - [ Param "git-annex" + [ Param "annex" , Params "move --to website" ] void $ inRepo $ runBool - [ Param "git-annex" + [ Param "annex" , Params "sync" ] |