diff --git a/_config.yml b/_config.yml index 0b69a60..36618c2 100644 --- a/_config.yml +++ b/_config.yml @@ -9,6 +9,7 @@ plugins: exclude: - "*.agdai" + - "readme.md" katex: rendering_options: diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..606d375 --- /dev/null +++ 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)