Fix bad directory name

2023-05-20 14:49:27 +03:00 · 2023-05-20 14:49:27 +03:00 · 98f17e4d14
parent 8e2e6a3b34
commit 98f17e4d14
1 changed files with 1 additions and 1 deletions
--- a/build/bump-version.php
+++ b/build/bump-version.php
@ -83,7 +83,7 @@ $oldVersion = $currentVersion;
 exec("git checkout -b \"version-bump-$newVersion\"");

 //Rename the Puc/vXpY directory using Git.
-exec("git mv \"Puc/$currentVersionDir\" \"Puc/$newVersionInfix\"");
+exec("git mv \"Puc/$oldVersionInfix\" \"Puc/$newVersionInfix\"");

 //Define the list of directories to search
 $directoriesToSearch = ['css', 'js', 'Puc'];