re-add jekyll changes without the wiki pages

2019-03-27 09:31:41 +01:00
parent e4d2bf0696
commit 6c9d709310
9 changed files with 684 additions and 54 deletions
--- a/doc.md
+++ b/doc.md
@ -0,0 +1,8 @@
+---
+title: Other documents
+root: ..
+permalink: /doc/
+---
+{% for p in site.doc %}
+* [{{ p.title }}]({% include link.html url=p.url %})
+{% endfor %}