From 743f6d05fa1dde800c69b94f495411bf9df5c622 Mon Sep 17 00:00:00 2001
From: Knut-Frode Dagestad <knutfrode@gmail.com>
Date: Wed, 16 Oct 2024 09:09:11 +0200
Subject: [PATCH] [run-ex] Rebuild documentation