Include version number in doc `make dist' tarfiles.