2022-01-27 18:34:28 +01:00
|
|
|
url: "https://depsterr.com"
|
2022-01-26 21:35:10 +01:00
|
|
|
baseurl: "" # the subpath of your site, e.g. /blog
|
|
|
|
title: "depsterr.com" # the name of your site, e.g. ACME Corp.
|
|
|
|
|
|
|
|
plugins:
|
|
|
|
- jekyll-feed
|
|
|
|
- jekyll-katex
|
|
|
|
- jekyll/agda
|
2022-04-01 19:51:48 +02:00
|
|
|
- jekyll-minifier
|
2022-01-26 21:35:10 +01:00
|
|
|
|
|
|
|
exclude:
|
|
|
|
- "*.agdai"
|
2022-01-27 20:20:23 +01:00
|
|
|
- "readme.md"
|
2022-04-01 19:51:48 +02:00
|
|
|
- "LICENSE"
|
2022-01-26 21:35:10 +01:00
|
|
|
|
|
|
|
katex:
|
|
|
|
rendering_options:
|
|
|
|
throw_error: true
|
2022-01-27 18:34:28 +01:00
|
|
|
|
|
|
|
sass:
|
|
|
|
sass_dir: assets/css
|
|
|
|
|
|
|
|
excerpt_separator: <!--more-->
|