diff options
Diffstat (limited to 'docs/user-guide')
| -rw-r--r-- | docs/user-guide/toc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index 414f3cb21..c9aa4cafb 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -100,6 +100,7 @@ <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> +<li data-link="compiling#debugging"><span>Debugging</span></li> </ul> </li> <li data-link="targets"><span>Supported Compilation Targets</span> |