diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 21:13:52 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-04 21:13:52 +0100 |
| commit | ac439cf62255ab38da940eb7bba0ccc00fc835f2 (patch) | |
| tree | 197539ac6c5e7e6a08e91dc42e76a4ee14bb44ac /reproduce/src/make/dependencies-basic.mk | |
| parent | 2d75d867e638ef95d7d05c5a05cf1a372be50c82 (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/dependencies-basic.mk')
0 files changed, 0 insertions, 0 deletions