let
man_dir =
"/usr/share/man"