From 49593cc38d8fdbd10aeb012e9be9ea2dcba66234 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sun, 26 Aug 2018 21:13:04 -0400
Subject: [PATCH] version 3.1.0

---
 redir.html                   | 2 +-
 scripts/sync-version-prod.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/redir.html b/redir.html
index f756f7ec..b538b02e 100644
--- a/redir.html
+++ b/redir.html
@@ -7,7 +7,7 @@
 </head>
 
 <script>
-var VERSION = '3.0.0';
+var VERSION = '3.1.0';
 var QS = document.location.search || '?';
 document.location.href = 'v' + VERSION + '/' + QS;
 </script>
diff --git a/scripts/sync-version-prod.sh b/scripts/sync-version-prod.sh
index fa0b927f..f792196b 100755
--- a/scripts/sync-version-prod.sh
+++ b/scripts/sync-version-prod.sh
@@ -21,5 +21,5 @@ mkdir -p $TMPDIR
 git archive $VERSION | tar x -C $TMPDIR
 echo "Copying to $DESTPATH..."
 rsync --stats --exclude '.*' --exclude 'scripts/*' --exclude=node_modules --copy-dest=$DEVPATH -rilz --chmod=a+rx -e "ssh -p 2222" $TMPDIR/ $SUBMODS $DESTPATH
-rsync --stats -rpilvz --chmod=a+rx -e "ssh -p 2222" ./gen ./mame  $DESTPATH/
+rsync --stats -rpilvz --chmod=a+rx -e "ssh -p 2222" --copy-dest=$DEVPATH ./gen ./mame  $DESTPATH/
 echo "Done."