Must make dest directory before copying to it

.github/workflows/build.yml

@@ -19,6 +19,7 @@ jobs:
 
     - name: Build RGL
       run: |
+        mkdir -p ${DEST}
         bash Setup.sh --dest=${DEST} --gf=gf --verbose
 
     - name: Create archive

Setup.sh

@@ -97,4 +97,4 @@ done
 
 # Copy
 echo "Copying to ${dest}"
-cp -R -p "${dist}"/* "${dest}"
+cp -R "${dist}"/* "${dest}"