diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-10-01 14:15:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 14:15:35 +0200 |
| commit | e867c8e5c3cf5c08c703e76434fc7db962f755f7 (patch) | |
| tree | 077eea3f3e0986363d8296b1b74cefcceb7310e5 /config | |
| parent | aa8249d177cbac4a3c08348ea6dbe12d6526928d (diff) | |
| parent | 5298c509a7b0168f0edce9b28442feca914d15f7 (diff) | |
| download | Nim-e867c8e5c3cf5c08c703e76434fc7db962f755f7.tar.gz | |
Merge branch 'devel' into fix_issues_9126
Diffstat (limited to 'config')
| -rw-r--r-- | config/nimdoc.cfg | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index 96e91283a..960c58c9e 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -38,7 +38,8 @@ doc.section.toc = """ # * $seeSrc: generated HTML from doc.item.seesrc (if some switches are used). doc.item = """ -<dt id="$itemSym"><a name="$itemSymOrID"></a><pre>$header</pre></dt> +<a id="$itemSymOrIdEnc"></a> +<dt><pre>$header</pre></dt> <dd> $desc $seeSrc @@ -48,7 +49,7 @@ $seeSrc # Chunk of HTML emitted for each entry in the HTML table of contents. # See doc.item for available substitution variables. doc.item.toc = """ - <li><a class="reference" href="#$itemSymOrID" + <li><a class="reference" href="#$itemSymOrIDEnc" title="$header_plain">$name<span class="attachedType" style="visibility:hidden">$attype</span></a></li> """ |