update #3

Merged
admin merged 1 commits from fix-build into main 2025-11-24 15:52:57 -06:00

10
Jenkinsfile vendored
View File

@@ -70,18 +70,18 @@ spec:
stage('Build Man Pages') { stage('Build Man Pages') {
steps { steps {
container('docker-cli') { container('docker-cli') {
sh ''' sh """
# Create output directories # Create output directories
mkdir -p ./html ./tmp mkdir -p ./html ./tmp
# Run the container to build man pages # Run the container to build man pages
docker run --rm \ docker run --rm \
-v "$(pwd)/html:/data/html" \ -v "\$(pwd)/html:/data/html" \
-v "$(pwd)/tmp:/data/tmp" \ -v "\$(pwd)/tmp:/data/tmp" \
rocky-man:${BUILD_NUMBER} \ rocky-man:${BUILD_NUMBER} \
--versions ${VERSIONS} \ --versions ${params.VERSIONS} \
--verbose --verbose
''' """
} }
} }
} }