set -e
[ -d =build ] && cd =build
make
-make check
+make distcheck
make dist-bzip2
d=$(make echo-distdir)
cp $d.tar.bz2 $HOME/work/web/disorder
-cp CHANGES $HOME/work/web/disorder/CHANGES.txt
-cp README $HOME/work/web/disorder/README.txt
cd doc
for f in *.[1-9].html; do
echo $f