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

./Ninja\.