aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/top.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-04 21:13:52 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-04 21:13:52 +0100
commitac439cf62255ab38da940eb7bba0ccc00fc835f2 (patch)
tree197539ac6c5e7e6a08e91dc42e76a4ee14bb44ac /reproduce/src/make/top.mk
parent2d75d867e638ef95d7d05c5a05cf1a372be50c82 (diff)
Dependency version LaTeX macros written at the end of configure
Until now, these versions were written in each run. This was mainly inherited from the old days of the pipeline, where we didn't know the software on the host. But now that we have almost everything under control, we can just write these LaTeX macros at the end of the configure script and make `initialize.mk' simpler and also (very slightly!) speed-up/simplify the processing.
Diffstat (limited to 'reproduce/src/make/top.mk')
0 files changed, 0 insertions, 0 deletions