1 files changed, 3 insertions, 2 deletions

diff --git a/apps/plugins/puzzles/resync.sh b/apps/plugins/puzzles/resync.sh
index 76679971a4..384fc79d1f 100755
--- a/apps/plugins/puzzles/resync.sh
+++ b/apps/plugins/puzzles/resync.sh
@@ -19,7 +19,7 @@ then
 fi
 
 echo "=== POTENTIALLY DANGEROUS OPERATION ==="
-echo "Are you sure you want to remove all files in src/?"
+echo "Are you sure you want to remove all files in src/ and help/?"
 echo -n "If so, type \"yes\" in all caps: "
 read ans
 if [ "YES" == $ans ]
@@ -30,8 +30,9 @@ then
     rm -rf src
     echo "[2/5] Copying new sources"
     mkdir src
-    cp -r "$1"/{*.c,*.h,*.R,*.but,LICENCE,README} src
+    cp -r "$1"/{*.c,*.h,*.but,LICENCE,README,CMakeLists.txt} src
     echo "[3/5] Regenerating help"
+    rm -rf help
     ./genhelp.sh
 
     echo "[4/5] Staging for commit"