Testing of the @doc-json output
0
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>

+4 -2
+2
doc/dune
··· 1 + (documentation 2 + (package odoc-docsite))
+1
doc/index.mld
··· 1 + {0 odoc documentation site shell}
+1 -2
src/odoc_docsite_js.ml
··· 68 68 '</div>'; 69 69 } else if (node.url) { 70 70 // Leaf nodes: add spacer for alignment with expandable items 71 - var spacer = (node.kind === 'package' || node.kind === 'module') 72 - ? '<span class="sidebar-toggle-spacer"></span>' : ''; 71 + var spacer = '<span class="sidebar-toggle-spacer"></span>'; 73 72 return '<a class="sidebar-link sidebar-leaf' + (isActive ? ' active' : '') + '" href="' + BASE_URL + node.url + '" data-nav="' + node.url + '">' + spacer + badge + contentHtml + '</a>'; 74 73 } else { 75 74 return '<span class="sidebar-link">' + badge + contentHtml + '</span>';