man_MANS = maxima.1