* admin/admin.el (make-manuals): Use a standard location for lispintro.