From fa5d6cc103aeafad13f80289b917436ebd7f142f Mon Sep 17 00:00:00 2001 From: Martin Fischer Date: Tue, 14 Oct 2025 08:15:46 +0200 Subject: [PATCH] docs: initialize redoc via JS API Preparation for the next commit in which we'll make the script tag async (in order to use await to fetch the new versions.json file). Signed-off-by: Martin Fischer --- docs/source/_static/api.html | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/docs/source/_static/api.html b/docs/source/_static/api.html index 0d2d2a8a10..7819ecf1e6 100644 --- a/docs/source/_static/api.html +++ b/docs/source/_static/api.html @@ -18,6 +18,8 @@ + +
-