diff --git a/build/gen-jenkins.sh b/build/gen-jenkins.sh index 752f9f1cf..f1777bb81 100755 --- a/build/gen-jenkins.sh +++ b/build/gen-jenkins.sh @@ -54,10 +54,10 @@ document.addEventListener('DOMContentLoaded', function() { if (header) { let newLink = document.createElement('a'); newLink.href = 'https://github.com/eclipse-cbi/jiro/blob/master/instances/${fullName}/target/config.json'; - newLink.textContent = 'JIRO'; + newLink.textContent = 'JCasC Source'; newLink.style = 'color: white; border-left: 1px solid white; padding-left: 1em; font-size: 1.1em; position: relative; top: 0.2em; left: -1.6em;'; newLink.target = '_blank'; - newLink.title = 'JIRO Configuration as Code'; + newLink.title = 'JIRO JCasC Configuration as Code'; header.appendChild(newLink); } else { console.log('Element with class "header" not found.');