dist-hook:
echo $(VERSION) >$(distdir)/RELEASE
+###--------------------------------------------------------------------------
+### Debian packaging.
+
+EXTRA_DIST += debian/copyright debian/changelog
+EXTRA_DIST += debian/control debian/rules
+EXTRA_DIST += debian/compat
+
###----- That's all, folks --------------------------------------------------