2018-06-24 16:10:49 +02:00
|
|
|
|
|
|
|
|
@Library("osconfig") _
|
|
|
|
|
|
2020-03-29 10:41:27 +02:00
|
|
|
properties([disableConcurrentBuilds()])
|
|
|
|
|
|
2023-02-24 14:47:23 +01:00
|
|
|
node("linux") {
|
2018-06-24 16:10:49 +02:00
|
|
|
|
|
|
|
|
stage("Checkout sources") {
|
|
|
|
|
checkout scm
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
stage("Producing doc") {
|
2023-02-24 18:33:24 +01:00
|
|
|
linux_sh "./scripts/extract_user_doc.sh -i " + BRANCH_NAME
|
2018-06-24 16:10:49 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
stage("Publish doc") {
|
2018-06-24 18:24:13 +02:00
|
|
|
publish_doc(BRANCH_NAME)
|
2018-06-24 16:10:49 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
