From 667e209bc714761eb2f48b65f0153574bd0b65f2 Mon Sep 17 00:00:00 2001 From: Yong He Date: Sun, 17 Mar 2024 15:17:28 -0700 Subject: Remove out of date documentation on compilation API. (#3785) * Remove out of date documentation on compilation API. * Update toc. --- docs/user-guide/toc.html | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'docs/user-guide/toc.html') diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index a696a3d61..ff64ba74e 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -100,10 +100,21 @@
  • Concepts
  • Command-Line Compilation with `slangc`
  • Using the Compilation API
  • +
  • Multithreading
  • Compiler Options
  • Debugging
  • +
  • Using the Reflection API + +
  • Supported Compilation Targets