let man_dir = "/usr/share/man"