chiark / gitweb /
Makefile, bin/ -> src/: Substitute scripts rather than chasing symlinks.