#!/bin/bash

# change permissions
sh bootstrap

# remove scripts that only make sense in darcs archive
rm bin/dist-*