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