2019-08-28 03:01:17 +00:00
|
|
|
dist: bionic
|
2019-08-28 02:07:31 +00:00
|
|
|
|
2019-06-17 17:21:24 +00:00
|
|
|
before_install:
|
2019-08-28 03:01:17 +00:00
|
|
|
- sudo apt update
|
|
|
|
|
- sudo apt install texlive-full rubber pandoc
|
2019-06-17 17:21:24 +00:00
|
|
|
|
|
|
|
|
script:
|
2019-08-28 03:01:17 +00:00
|
|
|
- make
|
