diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-18 19:45:46 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-18 19:49:13 +0000 |
commit | 6a9990b5a4d13d7628902b0dc067c74e782922de (patch) | |
tree | 58411b1eb165fb18c18fb8386b82076682409915 /reproduce/src/make/delete-me.mk | |
parent | b15818ddc06d499bac1bac5640682d40901e9588 (diff) |
Pipeline also installs TeX live and necessary packages
Since the final product of the pipeline is a LaTeX-created PDF file, it was
necessary to also have LaTeX within the pipeline. With this commit, TeX
Live is also built as part of the configuration and all the necessary
packages to build the PDF are also installed and mentioned in the paper
along with their versions.
Diffstat (limited to 'reproduce/src/make/delete-me.mk')
0 files changed, 0 insertions, 0 deletions