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\.