fixed issue with already existing directory during mv

2023-08-22 10:03:08 +02:00
parent ffac0a1f92
commit 5d454f2efc
1 changed files with 1 additions and 1 deletions
@@ -40,6 +40,6 @@ else
      cd ../
   done
   # rename for server paths
+   rm -rf ../dist/docs/developers
   mv ../dist/docs/dev-portal ../dist/docs/developers
 fi
-