You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As it stands odoc html-deps takes a "package directory" as a parameter. Since as far as I know odoc files are not namespaced by directories this seems a bit odd.
Is there any reason why odoc html-deps does not act on odoc files ?