diff --git a/Jenkinsfile b/Jenkinsfile index e76afd0..6b662de 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -103,6 +103,7 @@ pipeline { } sh "\ cd tdlight/target-release/apidocs; \ + find . -name '*.html' -exec sed -i -r 's///' {} \\; \ git init; \ git remote add origin https://${USER}:${encodedPass}@git.ignuranza.net/tdlight-team/tdlight-docs; \ git config user.email \"andrea@warp.ovh\"; \