aboutsummaryrefslogtreecommitdiff
path: root/tex
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 21:24:00 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-01 21:24:00 +0100
commit35ed6cf0df743175688b49a4559793cb7f6e9d66 (patch)
tree2287830898c4a5af2e72f8a3c6435f4876b000fb /tex
parent334af0e29a950873a19f958b0e47d847808e8910 (diff)
IMPORTANT: reproduce/software/bash renamed to reproduce/software/shell
Until now the shell scripts in the software building phase were in the `reproduce/software/bash' directory. But given our recent change to a POSIX-only start, the `configure.sh' shell script (which is the main component of this directory) is no longer written with Bash. With this commit, to fix that problem, that directory's name has been changed to `reproduce/software/shell'.
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions