dune icon indicating copy to clipboard operation
dune copied to clipboard

Published 20 hours ago • verified publisher icon ocaml

Make coqdoc generation documentation more clear

Open audreyseo opened this issue 1 year ago • 1 comments

It wasn't clear to me from the current documentation that coqdoc-generated files would be in _build/default/<path-to-theory>/<theory-package-name>.<html or tex>/. I have a project with ocaml files too, which means a _build/default/_doc folder is also generated, which was very confusing. It would be great if this could be clarified in just a sentence or two.

I'd be happy to submit a pull request for this, if that would be welcome. :)

audreyseo avatar May 30 '24 02:05 audreyseo

Hi @audreyseo , that would be extremely welcome; sorry for the incomplete documentation, and thanks for taking the time to submit this issue.

ejgallego avatar May 30 '24 08:05 ejgallego