From a0994a5c164c10d31abd2800e1717efcec4be22c Mon Sep 17 00:00:00 2001 From: admin Date: Tue, 25 Nov 2025 13:41:19 -0600 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index b77663d..a86b680 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -78,18 +78,18 @@ docker tag rocky-man:${BUILD_NUMBER} rocky-man:latest stage('Build Man Pages') { steps { container('docker-cli') { - sh """ + sh ''' # Create output directories mkdir -p ./html ./tmp -# Run the container to build man pages - FIXED ESCAPING -docker run --rm \\ - -v \"\$(pwd)/html:/app/html\" \\ - -v \"\$(pwd)/tmp:/data/tmp\" \\ - rocky-man:${BUILD_NUMBER} \\ - --versions \"${params.VERSIONS}\" \\ +# Run the container to build man pages +docker run --rm \ + -v "$(pwd)/html:/app/html" \ + -v "$(pwd)/tmp:/data/tmp" \ + rocky-man:${BUILD_NUMBER} \ + --versions ${VERSIONS} \ --verbose - """ + ''' } } } @@ -134,4 +134,4 @@ docker rmi rocky-man:latest || true } } } -} \ No newline at end of file +}