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
+
###----- That's all, folks --------------------------------------------------