mirror of
https://github.com/KLayout/klayout.git
synced 2026-08-28 17:06:31 +02:00
22 lines
292 B
Plaintext
22 lines
292 B
Plaintext
|
|
@Library("osconfig") _
|
|
|
|
properties([disableConcurrentBuilds()])
|
|
|
|
node("linux") {
|
|
|
|
stage("Checkout sources") {
|
|
checkout scm
|
|
}
|
|
|
|
stage("Producing doc") {
|
|
linux_sh "./scripts/extract_user_doc.sh -i " + BRANCH_NAME
|
|
}
|
|
|
|
stage("Publish doc") {
|
|
publish_doc(BRANCH_NAME)
|
|
}
|
|
|
|
}
|
|
|