diff options
Diffstat (limited to 'docs/user-guide')
| -rw-r--r-- | docs/user-guide/toc.html | 1 |
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> |