From 1a689cfc2665fc0c25b1406977d66a84ba83103e Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Fri, 30 Oct 2020 15:59:46 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 3127a6a..4575210 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