ci: update scripts

This commit is contained in:
Ben Goldsworthy 2021-04-23 17:13:55 +01:00
parent e780d817c1
commit 8a3e9f3067
2 changed files with 5 additions and 4 deletions

View file

@ -6,13 +6,13 @@ echo "Building Plugin..."
echo "Copying directories..."
rm -r dist/
mkdir dist
cp -r -t dist class/ css/ js/ languages/ templates/
cp -r -t dist class/ js/ languages/ templates/
# Among the images, only 2 out of 3 are distributed.
echo "Copying the needed images..."
mkdir -p dist/img
cp -t dist/img img/fn-wysiwyg.png
echo "Copying files..."
cp -t dist license.txt readme.txt includes.php wpml-config.xml SECURITY.md
cp -t dist license.txt readme.txt includes.php wpml-config.xml SECURITY.md CHANGELOG.md
echo "Setting production flag..."
sed "s/'PRODUCTION_ENV', false/'PRODUCTION_ENV', true/g" footnotes.php > dist/footnotes.php
echo "Production flag set."