From 997ffa1f37c368f1cbadc014800e47a07414c3f6 Mon Sep 17 00:00:00 2001 From: Yong He Date: Tue, 30 Mar 2021 13:25:47 -0700 Subject: Update and rename documentation.html to user-guide.html --- docs/_layouts/documentation.html | 83 ---------------------------------------- docs/_layouts/user-guide.html | 78 +++++++++++++++++++++++++++++++++++++ 2 files changed, 78 insertions(+), 83 deletions(-) delete mode 100644 docs/_layouts/documentation.html create mode 100644 docs/_layouts/user-guide.html (limited to 'docs') 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 @@ - - - - - - - - - - -{% seo %} - - - -
-
-
- -
-
- {{ 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 %} - - diff --git a/docs/_layouts/user-guide.html b/docs/_layouts/user-guide.html new file mode 100644 index 000000000..3f290d500 --- /dev/null +++ b/docs/_layouts/user-guide.html @@ -0,0 +1,78 @@ + + + + + + + + + + +{% seo %} + + + +
+
+
+
+ {% include_relative 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 %} + + -- cgit v1.2.3