Merge pull request #19186 from liviuconcioiu/18180

Move generated documentation to public folder
This commit is contained in:
Maurício Meneghini Fauth 2024-05-31 14:36:53 -03:00 committed by GitHub
commit 69f7b5ebf6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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