chiark / gitweb /
build-sys: add two new files to EXTRA_DIST