| commit | c7b0ce579681a5e6fba73cf8ed3699367e4fb130 | [log] [tgz] |
|---|---|---|
| author | Julian Feinauer <j.feinauer@pragmaticminds.de> | Wed Apr 03 18:16:54 2019 +0200 |
| committer | Julian Feinauer <j.feinauer@pragmaticminds.de> | Wed Apr 03 18:16:54 2019 +0200 |
| tree | d77f24815c2b9299d333b829c6dca00e5958237d | |
| parent | 3c5ace42719f960199b9de0bba2cda5936f56409 [diff] |
Use "bundle exec" in front of jekyll, to make it more robust (see https://stackoverflow.com/questions/6317980/you-have-already-activated-x-but-your-gemfile-requires-y).
diff --git a/build.sh b/build.sh old mode 100644 new mode 100755 index b494149..6242fb4 --- a/build.sh +++ b/build.sh
@@ -1,6 +1,6 @@ set -e cd site -jekyll build -d ../content_tmp +bundle exec jekyll build -d ../content_tmp # Remove dangling references to the DejaVu fonts in the Javadoc stylesheets sed -i "" "/^@import.*dejavu.css/d; s/'DejaVu[^']*',//g" ../content_tmp/javadoc/*/stylesheet.css COMMIT_HASH=`git rev-parse HEAD`