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