Filename: //usr/share//man//man5//deb-src-symbols.5.gz

./Ninja\.