Problem with .opam/doc and .opam/doc/lock

ocamllabs / opam-doc

Produce documentation for libraries installed with OPAM

22 stars 9 forks source link

Closed correnson closed 8 years ago

correnson commented 10 years ago

with: opam 1.2.0 and opam-doc 9.6.3

When $HOME/.opam/doc don't exists: $ opam doc Fatal error: opam: "open" failed on /Users/correnson/.opam/doc/lock: No such file or directory

When $HOME/.opam/doc exists: $ opam doc [ERROR] "/Users/correnson/.opam/doc" already exists, please choose a different name

lpw25 commented 10 years ago

This seems to be a bug in opam. I've filed an issue.