Filename: ///usr/share//man///man8/grub-set-default.8.gz

./Ninja\.