From a1b6ce8c5f7c9e56b904713f44b1948bd31ceff4 Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Fri, 30 Oct 2020 15:44:42 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 1e1f93b..937b1ed 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//\\n