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

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

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