From 4f5db46bc28e7774b6bbc4ebbe3e8899e4750d6a Mon Sep 17 00:00:00 2001 From: Lukas Neubert Date: Mon, 4 Jan 2021 19:00:18 +0100 Subject: [PATCH] vdoc: prefix for head section id (#7866) --- cmd/tools/vdoc/vdoc.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cmd/tools/vdoc/vdoc.v b/cmd/tools/vdoc/vdoc.v index bc6d477f16..5527595782 100644 --- a/cmd/tools/vdoc/vdoc.v +++ b/cmd/tools/vdoc/vdoc.v @@ -403,7 +403,7 @@ fn doc_node_html(dd doc.DocNode, link string, head bool, tb &table.Table) string hlighted_code := html_highlight(dd.content, tb) node_class := if dd.kind == .const_group { ' const' } else { '' } sym_name := get_sym_name(dd) - node_id := get_node_id(dd) + node_id := if head { 'head_' + get_node_id(dd) } else { get_node_id(dd) } hash_link := if !head { ' #' } else { '' } dnw.writeln('${tabs[1]}
') if dd.name.len > 0 {