endif
+###--------------------------------------------------------------------------
+### Other administrivia.
+
+dist-hook:
+ echo $(VERSION) >$(distdir)/RELEASE
+
+###--------------------------------------------------------------------------
+### Debian.
+
+## Standard files.
+EXTRA_DIST += debian/rules
+EXTRA_DIST += debian/copyright
+EXTRA_DIST += debian/changelog
+EXTRA_DIST += debian/control
+
+## What to install where.
+EXTRA_DIST += debian/inst
+
###----- That's all, folks --------------------------------------------------