From b077374f521d0b2be4553cab0b161cf2e90d0d74 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Fri, 30 Oct 2020 15:55:14 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 937b1ed..3127a6a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -104,7 +104,7 @@ pipeline { sh "\ set -e; \ cd tdlight/target-release/apidocs; \ - find . -name '*.html' -exec sed -i -r 's/<\\/title>/<\\/title>\\n