diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-29 02:01:58 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-29 02:28:27 +0200 |
commit | 0f1ec1488bf0bdd70d74f812ffb3ec70dc55b68e (patch) | |
tree | 4bd8bb7831ef252b8544230e1c0549377f84042e /reproduce/software/bash/git-pre-commit | |
parent | 9f18cb8a8981f7fbdec82cbc584f412226e8e66b (diff) |
Added citation for TIDES, sorted progs alphabetically
While reviewing Prasenjit's commits, I noticed that we had forgot to add
the citation for TIDES, also to make things clear, the program/library
build rules are now sorted alphabetically.
Finally, I noticed that after building the TiKZ PDF figures, it is crashing
(like on Prasenjit's computer). After looking around, I noticed its because
we were setting the of the `TEXINPUTS' environment variable to be the
installed TeX Live directory (which was ultimately redundant because by
default TeX will look into where it was installed). The important thing is
just that we remove any possible value the host system has, not to set new
directories.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions