#! /bin/sh
make -f Makefile.dist
./configure
make dist

