From b20a70b860ff4cd61bcf13cfb0f01e630ab7b07c Mon Sep 17 00:00:00 2001 From: Stephen Simpson Date: Mon, 24 Nov 2025 15:52:42 -0600 Subject: [PATCH] update --- Jenkinsfile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 808acd9..415c6ed 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -70,18 +70,18 @@ spec: stage('Build Man Pages') { steps { container('docker-cli') { - sh ''' + sh """ # Create output directories mkdir -p ./html ./tmp # Run the container to build man pages docker run --rm \ - -v "$(pwd)/html:/data/html" \ - -v "$(pwd)/tmp:/data/tmp" \ + -v "\$(pwd)/html:/data/html" \ + -v "\$(pwd)/tmp:/data/tmp" \ rocky-man:${BUILD_NUMBER} \ - --versions ${VERSIONS} \ + --versions ${params.VERSIONS} \ --verbose - ''' + """ } } }