Install Linux manual files

If the man command on Linux isn’t working, check that the manual database is installed:

apt install man-db