# not really used directly by users
lightdm-pico-greeter: binary-without-manpage usr/sbin/lightdm-pico-greeter
