linux: making a man page