# FIXME move this and update cl-info patch
maxima-doc: info-document-missing-dir-entry [usr/share/info/maxima-index-html.lisp.gz]
maxima-doc: info-document-missing-dir-section [usr/share/info/maxima-index-html.lisp.gz]
maxima-doc: info-document-has-wrong-extension [usr/share/info/maxima-index-html.lisp.gz]
