diff options
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index c5e95c27..17afd2ba 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -433,7 +433,7 @@ if [ "$HOSTNAME" = "jenkins" ] ; then diff THANKS .THANKS >/dev/null || asciidoc $ASCIIDOC_PARAMS -o thanks.html THANKS mv THANKS .THANKS rm TODO README INSTALL CONTRIBUTING - sudo chown -R jenkins.jenkins /var/lib/jenkins/userContent + sudo chown jenkins.jenkins /var/lib/jenkins/userContent/*html explain "user content for jenkins updated." fi |