From bb41327d2d112774ae5c38e730b0c07fbdeee2cf Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 9 Jun 2023 20:55:09 -0400
Subject: [PATCH] config jekyll

---
 _config.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/_config.yml b/_config.yml
index 2f7efbe..dc0615a 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1 +1,5 @@
-theme: jekyll-theme-minimal
\ No newline at end of file
+theme: jekyll-theme-minimal
+include:
+  - _odoc_support
+  - 0.2/_odoc_support
+  - dev/_odoc_support