mina icon indicating copy to clipboard operation
mina copied to clipboard
verified publisher icon MinaProtocol

Add documentation generation via odoc

Open balsoft opened this issue 3 years ago • 0 comments

Add documentation generation via odoc, by adding odoc to the export and setting up documentation building with Nix.

Ref https://github.com/MinaProtocol/mina/issues/10730

balsoft avatar Aug 11 '22 11:08 balsoft