make docs.mli parsable