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 8 months 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