Update Jenkinsfile
All checks were successful
gitea-sync/antos/pipeline/head This commit looks good

This commit is contained in:
Dany LE 2023-01-03 18:05:53 +01:00 committed by GitHub
parent 4e9806466a
commit ebc5206c45
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
Jenkinsfile vendored
View File

@ -31,6 +31,9 @@ pipeline{
buildir="build"
[ -d "$buildir" ] && rm -rf "$buildir"
export BUILDDIR="$WORKSPACE/$buildir/opt/www/htdocs/os"
[ -d "doc" ] && rm -rf doc
mkdir doc
export DOCDIR="$WORKSPACE/doc"
make release
make doc
'''