From c66ddd0eb68e25c26cf784ceebd8a5897c444967 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Sun, 26 Jan 2025 07:15:50 +0000
Subject: [PATCH] Generate documentation

---
 master.html | 1 +
 v1.html     | 1 +
 v2.html     | 1 +
 v3.html     | 1 +
 4 files changed, 4 insertions(+)

diff --git a/master.html b/master.html
index fa10bfefe..368dcdd68 100644
--- a/master.html
+++ b/master.html
@@ -97,6 +97,7 @@ <h1>
 <span>master</span>
 <select style="display: none;">
 <option selected value="master.html">master</option>
+<option selected value="master.html">master</option>
 <option value="v3.html">v3</option>
 <option value="v2.html">v2</option>
 <option value="v1.html">v1</option>
diff --git a/v1.html b/v1.html
index cfbe7dbf2..32e3005cc 100644
--- a/v1.html
+++ b/v1.html
@@ -97,6 +97,7 @@ <h1>
 <span>v1</span>
 <select style="display: none;">
 <option value="master.html">master</option>
+<option value="master.html">master</option>
 <option value="v3.html">v3</option>
 <option value="v2.html">v2</option>
 <option selected value="v1.html">v1</option>
diff --git a/v2.html b/v2.html
index cfc30b0bf..1f6e28511 100644
--- a/v2.html
+++ b/v2.html
@@ -97,6 +97,7 @@ <h1>
 <span>v2</span>
 <select style="display: none;">
 <option value="master.html">master</option>
+<option value="master.html">master</option>
 <option value="v3.html">v3</option>
 <option selected value="v2.html">v2</option>
 <option value="v1.html">v1</option>
diff --git a/v3.html b/v3.html
index fad3e6253..cb2c60224 100644
--- a/v3.html
+++ b/v3.html
@@ -97,6 +97,7 @@ <h1>
 <span>v3</span>
 <select style="display: none;">
 <option value="master.html">master</option>
+<option value="master.html">master</option>
 <option selected value="v3.html">v3</option>
 <option value="v2.html">v2</option>
 <option value="v1.html">v1</option>