chiark / gitweb /
Makefile.am: Write release number into distribution packages.