Update get_orig.sh script.

diff --git a/debian/get_orig.sh b/debian/get_orig.sh
index 34c82a450873572a5c2a12e1b5ff1bcd76dc1b02..2e3788778e433062ea373c83dcc844582705e544 100755 (executable)
--- a/debian/get_orig.sh
+++ b/debian/get_orig.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-RELEASE_NAME=2.x
+RELEASE_NAME=v2.3
 
 UPSTREAM="https://github.com/solvespace/solvespace.git"
 git clone --depth=1 --recursive -b ${RELEASE_NAME} ${UPSTREAM}
@@ -10,7 +10,7 @@ rm -rfv solvespace/extlib/libpng
 rm -rfv solvespace/extlib/zlib
 rm -rfv solvespace/extlib/si
 rm -rfv solvespace/debian
-rm -rfv solvespace/.git
+rm -rfv solvespace/.gi*
 rm -rfv solvespace/.travis
 rm -rfv solvespace/src/fonts/unifont-8.0.01.hex.gz