chiark / gitweb /
configure: allow usb.ids location to be specified