diff --git a/.travis.yml b/.travis.yml index 96034694077064107a285beea79a69ac16c42678..4c143439483f077d3ce7b67d7b830362dbc30937 100644 --- a/.travis.yml +++ b/.travis.yml @@ -3,6 +3,7 @@ language: java before_install: - sudo apt-get -qq update - sudo apt-get install -y texlive-full python-imaging rubber + - rvm install 2.0.0 - gem install travis-custom-deploy install: - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz diff --git a/README.md b/README.md index 7ad34a83730791ff0918ada7ce47986f18120218..3df555455894ea57aa0cff680ff4057c239277a5 100644 --- a/README.md +++ b/README.md @@ -1 +1,2 @@ # rodin-handbook +[](https://travis-ci.org/hhu-stups/rodin-handbook)