chiark / gitweb /
space: Fix --check.
[misc] / Makefile.am
index 5387354a33da88d44deb7094924191a349453a76..ca1af350bece32e1d23545b2fd20e05455fa3582 100644 (file)
@@ -243,4 +243,22 @@ splitconf: splitconf.in Makefile
 
 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 --------------------------------------------------