Odoc plugins for jon.recoil.org
Switch site build from @doc to @doc-full
Use @doc-full instead of @doc so the reference docs include the full
dependency tree (source pages, all library docs). Update:
- build-site.sh: @doc-full and _html_full output path
- gen_rules.ml: (alias ../doc-full) dependency
- site/dune.inc: regenerated
Sidebar: filter ungrouped packages to a whitelist of monorepo
packages under an "Other" group, since @doc-full includes hundreds
of opam dependencies that would clutter the sidebar.
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
+18
-1
+18
-1
src/odoc_jons_plugins_js.ml
+18
-1
src/odoc_jons_plugins_js.ml
···
66
66
});
67
67
}
68
68
});
69
-
return result.concat(ungrouped);
69
+
// With @doc-full, there are hundreds of opam packages. Only show
70
+
// ungrouped packages that belong to the monorepo (have a known prefix
71
+
// or are explicitly listed).
72
+
var MONOREPO_PACKAGES = [
73
+
'code-mirror', 'day10', 'day10-web', 'merlin-js', 'mime_printer',
74
+
'onnxrt', 'x-ocaml', 'note', 'zarr-v3', 'zarr-v3-unix'
75
+
];
76
+
var monorepoUngrouped = ungrouped.filter(function(entry) {
77
+
var pkg = pkgName(entry);
78
+
return MONOREPO_PACKAGES.indexOf(pkg) >= 0;
79
+
});
80
+
if (monorepoUngrouped.length > 0) {
81
+
result.push({
82
+
node: { content: 'Other', kind: 'group', url: null },
83
+
children: monorepoUngrouped
84
+
});
85
+
}
86
+
return result;
70
87
}
71
88
72
89
// Sidebar rendering