adding link to github repo

2018-07-12 10:07:50 +02:00 · 2018-07-12 10:07:50 +02:00 · 1cced46d78
commit 1cced46d78
parent fbff27debe
2 changed files with 13 additions and 7 deletions
--- a/docs/assets/images/favicon.ico
+++ b/docs/assets/images/favicon.ico
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -13,13 +13,19 @@ pages:
    - Frontend: dci-frontend.md

 markdown_extensions:
- - admonition
- - pymdownx.superfences
- - codehilite
- - fontawesome_markdown
+  - admonition
+  - pymdownx.superfences
+  - codehilite
+  - fontawesome_markdown
+  - toc:
+      permalink: true

 extra_css: ['font-awesome.css']

+# Repository
+repo_name: 'macropeople/dcdocs.github.io'
+repo_url: 'https://github.com/macropeople/dcdocs.github.io'
+
 theme:
  name: material
  logo: 'img/favicon.ico'