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 /.file-metadata | |
| 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 '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 3947 -> 4353 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex eb42414..dc3b3e2 100644 --- a/.file-metadata +++ b/.file-metadata |