From 483dc46b2a4ddbf626e8002b8748da6044056fef Mon Sep 17 00:00:00 2001
From: Dylan Simon <dylan@dylex.net>
Date: Tue, 28 Jan 2020 11:38:56 -0500
Subject: [PATCH] [jenkins] remove stray quote in last

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 442c2641..482320b9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,7 +108,7 @@ try {
             base=\$INSTALL/share/doc
             dir="${projectName}"
             [[ -d \$base/triqs_\$dir ]] && dir=triqs_\$dir || [[ -d \$base/\$dir ]]
-            cp -rp \$base/\$dir ${subdir}"
+            cp -rp \$base/\$dir ${subdir}
           """
         }
         sh "git add -A ${subdir}"