[scripts] fix man filename in `install-man-pages.sh`
[scripts] fix man filename in `install-man-pages.sh`

the man page filename was changed in b3e8718c, but was missed to be
updated in the `install-man-pages.sh` script

Signed-off-by: shine <98dc76545bd7c04d5cb7343a2bb552bfb7b0ff26@users.noreply.github.com>

gnunn1/tilix,gnunn1/terminix,gnunn1/tilix,gnunn1/terminix,gnunn1/tilix