jenkins: copy docu of PRs to different folder
@@ -741,7 +741,7 @@ def buildDoc() {
[parserName: 'Doxygen', pattern: 'build/doc/doxygen.log']
]
- // TODO don't write to latest on PR's
+ if (isMaster()) {
sshPublisher(
publishers: [
sshPublisherDesc(
@@ -772,6 +772,33 @@ def buildDoc() {
],
verbose: true
)
+ } else {
+ sshPublisher(
+ publishers: [
+ sshPublisherDesc(
+ configName: 'doc.libelektra.org',
+ transfers: [
+ sshTransfer(
+ sourceFiles: 'build/doc/latex/*',
+ removePrefix: 'build/doc/',
+ remoteDirectory: 'api/pr'
+ ),
+ sshTransfer(
+ sourceFiles: 'build/doc/html/*',
+ removePrefix: 'build/doc/',
+ remoteDirectory: 'api/pr'
+ ),
+ sshTransfer(
+ sourceFiles: 'build/doc/man/man3elektra/*',
+ removePrefix: 'build/doc/man/man3elektra/',
+ remoteDirectory: 'api/pr/man'
+ )
+ ]
+ )
+ ],
+ verbose: true
+ )
+ }
deleteDir()
}
}
