copyDependencies :: FilePath -- ^ The base directory to which
                             --   dependencies should be written
                 -> IO ()
copyDependencies dir =
  do styles <- getIdrisDataFileByName $ "idrisdoc" </> "styles.css"
     copyFile styles (dir </> "styles.css")
copyDependencies :: FilePath -- ^ The base directory to which
                             --   dependencies should be written
                 -> IO ()
copyDependencies dir =
  do styles <- getIdrisDataFileByName $ "idrisdoc" </> "styles.css"
     copyFile styles (dir </> "styles.css")
copyDependencies dir =
  do styles <- getIdrisDataFileByName $ "idrisdoc" </> "styles.css"
     copyFile styles (dir </> "styles.css")