From 7235a74b358b2f982fe9cea08212d1e3a57af95a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 28 Aug 2023 13:01:11 -0400
Subject: [PATCH] jekyll config

---
 _config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"]