Filename: ///usr/share//////man//pt//man5//deb-extra-override.5.gz

./Ninja\.