+###--------------------------------------------------------------------------
+### Other administrivia.
+
+dist-hook:
+ echo $(VERSION) >$(distdir)/RELEASE
+
+EXTRA_DIST += config/auto-version
+
+###--------------------------------------------------------------------------
+### Debian.
+
+## Standard files.
+EXTRA_DIST += debian/rules
+EXTRA_DIST += debian/copyright
+EXTRA_DIST += debian/changelog
+EXTRA_DIST += debian/control
+EXTRA_DIST += debian/compat
+EXTRA_DIST += debian/source/format
+
+## What to install where.
+EXTRA_DIST += debian/inst
+