lib · odd · Tangled

Odoc docs

odd lib

21 files

jon.recoil.org · doc: point at odd rebuild when the package is installed but undocumented · 2mo ago

doc: name the installed sources under every rendering

Add 'switchdocs complete' for reference completion

Implement the switchdocs tool

Implement the switchdocs tool

doc: point at odd rebuild when the package is installed but undocumented

doc: point at odd rebuild when the package is installed but undocumented

search: document matching semantics, hint on misses, add --match=name

Make opam integration binary-free for recording and removal

Install docs under <prefix>/odoc instead of <prefix>/doc

Rename project to "odd" (odoc docs)

Rename project to "odd" (odoc docs)

doc: name the installed sources under every rendering

doc: name the installed sources under every rendering

search: document matching semantics, hint on misses, add --match=name

search: document matching semantics, hint on misses, add --match=name

driver: pages under lib/<pkg>; scope from the findlib naming convention

Rename project to "odd" (odoc docs)

odd: find co-located units via findlib; clean them pre-remove

odd: find co-located units via findlib; clean them pre-remove

Install the vendored driver as `odd-driver`

Install the vendored driver as `odd-driver`