diff --git a/_config.yml b/_config.yml new file mode 100644 index 00000000..88d17fbc --- /dev/null +++ b/_config.yml @@ -0,0 +1,2 @@ +theme: jekyll-theme-minimal +include: ["_odoc-theme", "_odoc_support"]