From d75810ace912b8311edbe0b4f10a4d4c10144b10 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 8 Feb 2024 15:33:43 -0500
Subject: [PATCH] config jekyll

---
 _config.yml | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 _config.yml

diff --git a/_config.yml b/_config.yml
new file mode 100644
index 00000000..88d17fbc
--- /dev/null
+++ b/_config.yml
@@ -0,0 +1,2 @@
+theme: jekyll-theme-minimal
+include: ["_odoc-theme", "_odoc_support"]