From b15ac62d9472d180201f6995ebf45e56163a420d Mon Sep 17 00:00:00 2001
From: Liviu-Mihail Concioiu <liviu.concioiu@gmail.com>
Date: Fri, 31 May 2024 09:50:45 +0200
Subject: [PATCH] Move generated documentation to public folder

Signed-off-by: Liviu-Mihail Concioiu <liviu.concioiu@gmail.com>
---
 bin/internal/create-release.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/internal/create-release.sh b/bin/internal/create-release.sh
index 746718b296..d2b95b8001 100755
--- a/bin/internal/create-release.sh
+++ b/bin/internal/create-release.sh
@@ -616,9 +616,9 @@ for kit in $KITS ; do
         # Documentation source code
         mv docs/html htmldoc
         rm -r docs
-        mkdir docs
-        mv htmldoc docs/html
-        rm docs/html/.buildinfo docs/html/objects.inv
+        mkdir public/docs
+        mv htmldoc public/docs/html
+        rm public/docs/html/.buildinfo public/docs/html/objects.inv
         rm -r node_modules
         # Remove bin files for non source version
         # https://github.com/phpmyadmin/phpmyadmin/issues/16033