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

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

Jenkinsfile

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