diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 13:25:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 13:25:47 -0700 |
| commit | 997ffa1f37c368f1cbadc014800e47a07414c3f6 (patch) | |
| tree | d659723c27f9bb0af89552e9e342a2713e9a33e5 /docs/_layouts/documentation.html | |
| parent | 91ba42a9c9b9732e8e33b59f90725cd73ac7fcc9 (diff) | |
Update and rename documentation.html to user-guide.html
Diffstat (limited to 'docs/_layouts/documentation.html')
| -rw-r--r-- | docs/_layouts/documentation.html | 83 |
1 files changed, 0 insertions, 83 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/documentation.html deleted file mode 100644 index 7c450cc0a..000000000 --- a/docs/_layouts/documentation.html +++ /dev/null @@ -1,83 +0,0 @@ -<!DOCTYPE html> -<html lang="{{ site.lang | default: "en-US" }}"> - <head> - <meta charset='utf-8'> - <meta name="viewport" content="width=device-width, initial-scale=1"> - <meta http-equiv="X-UA-Compatible" content="IE=edge"> - <link rel="stylesheet" href="{{ '/assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}"> - <link rel="stylesheet" type="text/css" href="{{ '/assets/css/print.css' | relative_url }}" media="print"> - <!--[if lt IE 9]> - <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script> - <![endif]--> - <style> - #dividerContainer { - height: 98%; - } - #tocColumn { - float: left; - width: 25%; - height: 100%; - overflow: auto; - margin-right:20px; - } - #rightColumn { - float: left; - width: 70%; - height: 100%; - overflow: auto; - padding-left:20px; - } - ol { - list-style:decimal; - list-style-position: inside; - } - </style> -{% seo %} - </head> - - <body> - <div id="container"> - <div class="inner" style="padding:40px;width:1000px"> - <div id="dividerContainer"> - <div id="tocColumn"> - <a href="/slang/user-guide/README.html">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">1. 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> - </div> - <div id="rightColumn"> - <section id="main_content"> - {{ content }} - </section> - - <footer> - {% if site.github.is_project_page %} - {{ site.title | default: site.github.repository_name }} is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a><br> - {% endif %} - This page was generated by <a href="https://pages.github.com">GitHub Pages</a>. - </footer> - </div> - </div> - - - </div> - </div> - - {% if site.google_analytics %} - <script> - (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ - (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), - m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) - })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); - ga('create', '{{ site.google_analytics }}', 'auto'); - ga('send', 'pageview'); - </script> - {% endif %} - </body> -</html> |