diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 13:40:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 13:40:20 -0700 |
| commit | c4d8551eba47ddc2621f29024d88d5b7ecef06f3 (patch) | |
| tree | 915d18f3b9543a29a473c9de0abfba753200f3f4 /docs/user-guide | |
| parent | 6c5b463db2125c9876435993eae51519339b6f61 (diff) | |
Move user-guide table of contents to _includes dir (#1771)
Diffstat (limited to 'docs/user-guide')
| -rw-r--r-- | docs/user-guide/toc.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html deleted file mode 100644 index ec6f60d05..000000000 --- a/docs/user-guide/toc.html +++ /dev/null @@ -1,10 +0,0 @@ -<a href="/slang/user-guide/">Slang User's Guide</a> -<ol style="list-style-type:decimal"> - <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> -</ol> |