Re: [IMP-dev] doc dependence on lib