From c4d8551eba47ddc2621f29024d88d5b7ecef06f3 Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 30 Mar 2021 13:40:20 -0700 Subject: Move user-guide table of contents to _includes dir (#1771) --- docs/_includes/user-guide-toc.html | 10 +++ docs/_layouts/user-guide.html | 149 ++++++++++++++++++++----------------- docs/user-guide/toc.html | 10 --- 3 files changed, 89 insertions(+), 80 deletions(-) create mode 100644 docs/_includes/user-guide-toc.html delete mode 100644 docs/user-guide/toc.html (limited to 'docs') diff --git a/docs/_includes/user-guide-toc.html b/docs/_includes/user-guide-toc.html new file mode 100644 index 000000000..ec6f60d05 --- /dev/null +++ b/docs/_includes/user-guide-toc.html @@ -0,0 +1,10 @@ +Slang User's Guide +
    +
  1. Introduction
    2. +
  2. Getting Started
    3. +
  3. Conventional Language Features
    4. +
  4. Extended language features
    5. +
  5. Interfaces and Generics
    6. +
  6. Compiling Code with Slang
    7. +
  7. Supported Compilation Targets
    8. +
diff --git a/docs/_layouts/user-guide.html b/docs/_layouts/user-guide.html index 3f290d500..26b87c6d5 100644 --- a/docs/_layouts/user-guide.html +++ b/docs/_layouts/user-guide.html @@ -1,78 +1,87 @@ - - - - - - - - - -{% seo %} - + + {% seo %} + + +
+
+
+
+ {% include user-guide-toc.html %} +
+
+
+ {{ content }} +
+ +
+ {% if site.github.is_project_page %} + {{ site.title | default: site.github.repository_name }} is maintained by {{ site.github.owner_name }}
+ {% endif %} + This page was generated by GitHub Pages. +
+
+ +
+
+ + {% if site.google_analytics %} + + {% endif %} + - {% if site.google_analytics %} - - {% endif %} - - + \ No newline at end of file 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 @@ -Slang User's Guide -
    -
  1. Introduction
    2. -
  2. Getting Started
    3. -
  3. Conventional Language Features
    4. -
  4. Extended language features
    5. -
  5. Interfaces and Generics
    6. -
  6. Compiling Code with Slang
    7. -
  7. Supported Compilation Targets
    8. -
-- cgit v1.2.3