From 4a092eb069f388c2a40ff8722f45e3078733d04f Mon Sep 17 00:00:00 2001
From: Laurent LAPORTE <laurent.laporte.pro@gmail.com>
Date: Thu, 21 Dec 2023 18:41:38 +0100
Subject: [PATCH] build(doc): add `mike` to deploy several mkdocs site versions
 to GitHub pages

---
 requirements-doc.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/requirements-doc.txt b/requirements-doc.txt
index 47c813e83d..f4214a10d6 100644
--- a/requirements-doc.txt
+++ b/requirements-doc.txt
@@ -1,3 +1,4 @@
 mkdocs
 mkdocs-material
 mkdocs-material-extensions
+mike  # deploy several mkdocs site versions to github pages