save distributed files to Git when we build binary, not source
[pspp] / gendocs.sh
2010-02-15 Ben PfaffImprove build