Move generated documentation to public folder

Signed-off-by: Liviu-Mihail Concioiu <liviu.concioiu@gmail.com>
2024-05-31 09:50:45 +02:00 · 2024-05-31 09:50:45 +02:00 · b15ac62d94
commit b15ac62d94
parent 4410d103eb
1 changed files with 3 additions and 3 deletions
--- 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