remove $build_number from name of directory for building source distribution
[pspp] / gendocs.sh
2010-02-15 Ben PfaffImprove build