diff --git a/Jenkinsfile b/Jenkinsfile index f41b29a..7dffaad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -76,4 +76,5 @@ pipeline { sh 'cp -rf docs/build/html/* /var/www/html/esboetcdocs/' } } + } } \ No newline at end of file