config jekyll

This commit is contained in:
Simon Cruanes 2023-06-09 20:55:09 -04:00
parent ffc46d756d
commit bb41327d2d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1 +1,5 @@
theme: jekyll-theme-minimal
include:
- _odoc_support
- 0.2/_odoc_support
- dev/_odoc_support