diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-17 04:43:08 +0000 |
| commit | b15818ddc06d499bac1bac5640682d40901e9588 (patch) | |
| tree | a9b9831f6654551defb76c730806972ebbee0b92 /tex | |
| parent | d0d7eed20b43fd13a4fcb1e37eb4cabcd7a47a91 (diff) | |
TeX Live also built within the pipeline (no extra packages yet)
TeX Live is now also downloaded and built by the reproduction
pipeline. Currently on the basic (TeX and LaTeX) source is built but no
extra packages, so the PDF building will fail. We'll add them in the next
commit.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions