this repo has no description
Fix extension rendering to not duplicate tag name
When an extension handles a custom tag, use an empty key in the
Description output so the tag name isn't shown twice. The extension's
output in the definition is self-describing.
Also remove redundant install stanza from deprecated/dune since the
parent doc/dune now handles these files via glob_files.
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
+4
-7
+2
-6
doc/deprecated/dune
+2
-6
doc/deprecated/dune
···
1
-
(install
2
-
(section doc)
3
-
(files
4
-
(parent_child_spec.mld as odoc-pages/deprecated/parent_child_spec.mld)
5
-
(index.mld as odoc-pages/deprecated/index.mld))
6
-
(package odoc))
1
+
; This directory's mld files are included via the parent doc/dune documentation stanza.
2
+
; No separate install stanza needed.
+2
-1
src/document/comment.ml
+2
-1
src/document/comment.ml
···
456
456
(* Extension handled the tag - collect resources/assets and use output *)
457
457
Resources.add result.Odoc_extension_registry.resources;
458
458
Assets.add result.Odoc_extension_registry.assets;
459
+
(* Use empty key - extension output in definition is self-describing *)
459
460
{ Description.attr = [ name ];
460
-
key = [ inline ~attr:[ "at-tag" ] (Text name) ];
461
+
key = [];
461
462
definition = result.Odoc_extension_registry.content }
462
463
| None ->
463
464
(* Extension declined to handle this tag variant *)