#!/bin/bash

# patch version if environment variable is set
[ -z $PF_DIST_VERSION ] || sh bin/dist-setversion $PF_DIST_VERSION

# change permissions
sh bootstrap

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

# generate debian configs
debian/rules genfiles