In the Awesome desktop environment, a manual does not open when 'manual' is chosen from the program menu.