chiark / gitweb /
Makefile.in: update DISTVERSION