update documentation build

2024-06-25 16:07:07 +02:00
parent 0e347b0e37
commit a5918bfd4a
6 changed files with 14 additions and 6 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -21,7 +21,9 @@ pipeline {
    }
    stage('Docs') {
        steps {
-          sh 'cargo +nightly doc --all-features'
+          sh """
+            RUSTDOCFLAGS="--cfg docsrs --generate-link-to-definition -Z unstable-options" cargo +nightly doc --all-features
+          """
        }
    }
    stage('Rustfmt') {