jon.recoil.org / odoc
this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix sidebar package names and indentation in odoc-docsite

Add index.mld files for all packages that were missing them, which
caused odoc to generate default pages titled "<package> index". Also
fix leaf item indentation by always adding a spacer span regardless
of the node kind.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Jon Ludlam's Agent 0f44221d 26e2bd12

+12
+2
doc/odoc-bench/dune
··· 1 + (documentation 2 + (package odoc-bench))
+1
doc/odoc-bench/index.mld
··· 1 + {0 odoc benchmarks}
+2
doc/odoc-md/dune
··· 1 + (documentation 2 + (package odoc-md))
+1
doc/odoc-md/index.mld
··· 1 + {0 odoc Markdown output}
+2
doc/odoc-parser/dune
··· 1 + (documentation 2 + (package odoc-parser))
+1
doc/odoc-parser/index.mld
··· 1 + {0 odoc comment parser}
+2
doc/sherlodoc/dune
··· 1 + (documentation 2 + (package sherlodoc))
+1
doc/sherlodoc/index.mld
··· 1 + {0 Sherlodoc search engine}