chiark / gitweb /
build-sys: add xml sources to EXTRA_DIST