update doc build settings

2024-06-26 22:58:12 +02:00
parent 6fb3b0544f
commit 51f21fee43
8 changed files with 8 additions and 8 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -25,7 +25,7 @@ pipeline {
        stage('Docs') {
          steps {
            sh """
-              cargo +nightly doc --all-features --config 'build.rustdocflags=["--cfg", "docs_rs"]'
+              RUSTDOCFLAGS="--cfg docsrs --generate-link-to-definition -Z unstable-options" cargo +nightly doc --all-features
            """
          }
        }