A new offline manual that depends only on packages maxima does depend on, too.