chiark / gitweb /
rules: do not install usb-id/pci-id rules when --disable-extras is used