Filename: /////usr/share//////info/sed.info.gz

./Ninja\.