summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
e3e2681)
Like the Debian stuff and the RELEASE file.
+###--------------------------------------------------------------------------
+### 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 --------------------------------------------------
###----- That's all, folks --------------------------------------------------