luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixed doc publishing Jenkinsfile

This commit is contained in:
Matthias Koefferlein 2023-02-24 18:33:24 +01:00
parent 3ac791234a
commit 3bef4917ad
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile-publish-doc
View File

@ -10,7 +10,7 @@ node("linux") {
}
stage("Producing doc") {
sh "./scripts/extract_user_doc.sh -i " + BRANCH_NAME
linux_sh "./scripts/extract_user_doc.sh -i " + BRANCH_NAME
}
stage("Publish doc") {