diff --git a/Jenkinsfile b/Jenkinsfile index 098e5467208..08bf8fc9fd7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,6 +13,7 @@ pipeline { } } } + stage('Generate site') { steps { echo 'Building..' @@ -30,6 +31,7 @@ pipeline { } } } + stage('Commit changes') { steps { dir ('deploy-xtext-git-repo') { @@ -42,7 +44,7 @@ pipeline { } dir ('deploy-xtend-git-repo') { sh ''' - cp -r $WORKSPACE/git-repo/xtext-website/_site/* . + cp -r $WORKSPACE/git-repo/xtend-website/_site/* . git diff git add --all :/ && git commit -m "Generated from commit: https://github.com/eclipse/xtext/commit/$GIT_COMMIT" git status diff --git a/xtend-website/Gemfile b/xtend-website/Gemfile index d66536c5a55..a33833c893b 100644 --- a/xtend-website/Gemfile +++ b/xtend-website/Gemfile @@ -1,6 +1,9 @@ source 'https://rubygems.org' +gem 'therubyracer' +gem 'execjs' + group :jekyll_plugins do gem 'jekyll-markdown-block' - gem 'wdm', '>= 0.1.0' if Gem.win_platform? + gem 'wdm', '>= 0.1.0' if Gem.win_platform? end