summaryrefslogtreecommitdiffstats
path: root/docs/user-guide/toc.html
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2024-02-27 14:23:25 -0800
committerGitHub <noreply@github.com>2024-02-27 14:23:25 -0800
commitd2644e2f8f0abb73bbd6afd70816f6bf245340da (patch)
tree5bf65c59660269f25c35221f57e6d9b34e7c0bf5 /docs/user-guide/toc.html
parent5c45608dbedabccdc2067c16a8cc50b7a27a4fed (diff)
Update documentation TOC. (#3641)
Diffstat (limited to 'docs/user-guide/toc.html')
-rw-r--r--docs/user-guide/toc.html1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html
index 8f9b4e181..414f3cb21 100644
--- a/docs/user-guide/toc.html
+++ b/docs/user-guide/toc.html
@@ -97,7 +97,6 @@
<li data-link="compiling"><span>Compiling Code with Slang</span>
<ul class="toc_list">
<li data-link="compiling#concepts"><span>Concepts</span></li>
-<li data-link="compiling#-concepts"><span>## Concepts</span></li>
<li data-link="compiling#command-line-compilation-with-slangc"><span>Command-Line Compilation with `slangc`</span></li>
<li data-link="compiling#using-the-compilation-api"><span>Using the Compilation API</span></li>
<li data-link="compiling#compiler-options"><span>Compiler Options</span></li>