#!/usr/bin/env runghc

import System.Cmd

main = do
       repo <- readFile "_darcs/prefs/defaultrepo"
       let cmd = "scp -pr doc download " ++ repo
       putStrLn cmd
       system cmd
       return ()