2017-05-16 23:08:18 +02:00
|
|
|
sudo: required
|
|
|
|
|
dist: trusty
|
|
|
|
|
language: r
|
2017-12-12 21:59:25 +01:00
|
|
|
pandoc_version: 2.0.2
|
2017-05-16 23:08:18 +02:00
|
|
|
install:
|
2019-07-01 21:34:48 +02:00
|
|
|
- sudo apt-get install poppler-utils
|
2019-10-03 21:35:48 +03:00
|
|
|
- tlmgr install xecjk filehook unicode-math ucharcat pagecolor babel-german ly1 mweights sourcecodepro sourcesanspro mdframed needspace fvextra footmisc footnotebackref
|
2017-05-16 23:08:18 +02:00
|
|
|
before_script:
|
2017-05-18 22:41:05 +02:00
|
|
|
- cd examples
|
2017-05-16 23:08:18 +02:00
|
|
|
script:
|
2019-03-10 21:01:27 +01:00
|
|
|
- sh build-examples.sh
|
