chiark / gitweb /
update file list in setup.py