echo $(VERSION) >$(distdir)/RELEASE
## Additional build tools.
+EXTRA_DIST += build-setup
EXTRA_DIST += config/auto-version
EXTRA_DIST += config/confsubst
+## Documentation files.
+EXTRA_DIST += README.cipher
+EXTRA_DIST += README.hash
+EXTRA_DIST += README.mp
+EXTRA_DIST += README.random
+
###--------------------------------------------------------------------------
### Debian.