opam-doc icon indicating copy to clipboard operation
opam-doc copied to clipboard

`opam-doc-collect` collects too many files

Open samoht opened this issue 11 years ago • 1 comments

Some of these files are part of tests, or are hidden modules.

Ideally, we should install only the cm[td][,i] for the files the user really wants to install.

samoht avatar Dec 19 '13 14:12 samoht

The way to do this in the short-term is probably to check for a cmi with the same name and md5 has been installed somewhere in the "doc" switch before collecting it and its associated cmt/cmti and cmd/cmdi.

lpw25 avatar Dec 19 '13 16:12 lpw25