chiark / gitweb /
build-sys: check that python is enabled for "make dist"