added readme

2022-01-27 20:20:23 +01:00 · 2022-01-27 20:20:23 +01:00 · 62b5c1f9f3
commit 62b5c1f9f3
parent c69e7d326a
2 changed files with 11 additions and 0 deletions
--- a/_config.yml
+++ b/_config.yml
@ -9,6 +9,7 @@ plugins:

 exclude:
  - "*.agdai"
+  - "readme.md"

 katex:
  rendering_options:
--- a/readme.md
+++ b/readme.md
@ -0,0 +1,10 @@
+# [depsterr.com](https://depsterr.com)
+
+sources for depsterr.com. built using jekyll (without a theme).
+
+## Depends
+
+ * jekyll
+ * jekyll-feed
+ * jekyll-katex (needs katex)
+ * jekyll-agda (needs agda)