diff --git a/_config.yml b/_config.yml index a5f8890f..88d17fbc 100644 --- a/_config.yml +++ b/_config.yml @@ -1,2 +1,2 @@ theme: jekyll-theme-minimal -include: _odoc_support +include: ["_odoc-theme", "_odoc_support"]