chiark / gitweb /
Makefile.in: Fix "make dist" for git