chiark / gitweb /
man: correct udevinfo --export-db