Merge pull request 'deploy fix' (#98) from master into release

Reviewed-on: https://git.shs.tools/SHS/shstk/pulls/98

Jenkinsfile

@@ -13,9 +13,8 @@ def build_docker(name, release_dir) {
 	dir ("docker/${image_name}") {
 		sh "docker build ${args} --no-cache -t ${image_name} ."
 		def diargs = "-v " + release_dir + ":/soft/release"
-		echo "inside = ${diargs}"
 		docker.image(image_name).inside(diargs) {
-			sh 'cp -vf /soft/shstk/release/* /soft/release/'
+			sh 'if [ `ls /soft/shstk/release/` ]; then cp -vf /soft/shstk/release/* /soft/release/; fi'
 		}
 	}
 	return "\n - ${image_name}"