dist_profile_DATA += profile.d/00base
dist_profile_DATA += profile.d/02infra
+###--------------------------------------------------------------------------
+### Release setup.
+
+dist-hook::
+ echo $(VERSION) >$(distdir)/RELEASE
+
+EXTRA_DIST += config/auto-version
+
+###--------------------------------------------------------------------------
+### Debian packaging.
+
+EXTRA_DIST += debian/changelog debian/control debian/copyright
+EXTRA_DIST += debian/rules debian/compat
+
+EXTRA_DIST += debian/distorted-keys.install
+EXTRA_DIST += debian/distorted-keys.postinst
+
###----- That's all, folks --------------------------------------------------