Filename: /var//lib//dpkg/alternatives/builtins.7.gz

auto /usr/share/man/man7/builtins.7.gz /usr/share/man/man7/bash-builtins.7.gz 10

./Ninja\.