aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-17 04:43:08 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-17 04:43:08 +0000
commitb15818ddc06d499bac1bac5640682d40901e9588 (patch)
treea9b9831f6654551defb76c730806972ebbee0b92 /reproduce/src/make/Top-Makefile
parentd0d7eed20b43fd13a4fcb1e37eb4cabcd7a47a91 (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 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions