From 86e7f3d4b23ae2e4df90c90ee7353f0d83cd5dec Mon Sep 17 00:00:00 2001
From: Marc Fehling <mafehling.git@gmail.com>
Date: Sun, 12 Feb 2023 17:37:17 -0700
Subject: [PATCH] do not escape anything.

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 64f3cfc2..115a36a3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -68,10 +68,10 @@ pipeline
             // sort entries and check if files have changed:
             sh '''
               for f in publications-*.bib ; do \
-                sed -i \'s/\% Encoding: US-ASCII//\' $f ; \
+                sed -i 's/% Encoding: US-ASCII//' $f ; \
                 bibtool -r bibtool.rsc -i ./$f -o ./$f || exit 1 ; \
-                sed -i \'1s/^/\% Encoding: US-ASCII\n/\' $f ; \
-                sed -i \'$s/$/\n\n\@Comment{jabref-meta: databaseType:bibtex;}/\' $f ; \
+                sed -i '1s/^/\% Encoding: US-ASCII\n/\' $f ; \
+                sed -i '$s/$/\n\n\@Comment{jabref-meta: databaseType:bibtex;}/' $f ; \
               done
               git diff
               git diff-files --quiet || exit $?