diff options
| author | Yong He <yonghe@outlook.com> | 2021-04-24 00:19:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-24 00:19:32 -0700 |
| commit | 4f83d48b28b417a16d7caa834a9248b1bd50cdb8 (patch) | |
| tree | d36710d45fc0dcb07f110390c85868cfa2b4f2a5 /docs/_includes/user-guide-toc.html | |
| parent | 9a5672d7b8a155117a2c3f8375e3b8a5b43d91b7 (diff) | |
Auto generate interactive table of contents for user-guide. (#1818)
Diffstat (limited to 'docs/_includes/user-guide-toc.html')
| -rw-r--r-- | docs/_includes/user-guide-toc.html | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/docs/_includes/user-guide-toc.html b/docs/_includes/user-guide-toc.html deleted file mode 100644 index 511b30aad..000000000 --- a/docs/_includes/user-guide-toc.html +++ /dev/null @@ -1,16 +0,0 @@ - -<a href="/slang/user-guide/">Slang User's Guide</a> -<ol class="toc_list"> - <li><a href="/slang/user-guide/00-introduction.html">Introduction</a></li> - <li><a href="/slang/user-guide/01-get-started.html">Getting Started</a></li> - <li><a href="/slang/user-guide/02-conventional-features.html">Conventional Language Features</a></li> - <li><a href="/slang/user-guide/03-convenience-features.html">Extended language features</a></li> - <li><a href="/slang/user-guide/04-interfaces-generics.html">Interfaces and Generics</a></li> - <li><a href="/slang/user-guide/05-compiling.html">Compiling Code with Slang</a></li> - <li><a href="/slang/user-guide/06-targets.html">Supported Compilation Targets</a></li> - <li><a href="/slang/user-guide/a1-special-topics.html">Special Topics</a></li> - <ol class="toc_list"> - <li><a href="/slang/user-guide/a1-01-matrix-layout.html">Matrix Layout</a></li> - </ol> - -</ol> |