diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-02 15:51:28 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-02 16:05:03 +0100 |
commit | de3842a14e36b2debb3ad375d95411d15d45dc84 (patch) | |
tree | 86ae571f85c639c616cf8939cbcec7f1c1be4c9c /reproduce/software/make/README.md | |
parent | 646756675566a0907edf143c6b6950e0479d9e7e (diff) | |
parent | cbf177e09af6b9d240388d148b0cb5e3488d8b09 (diff) |
Imported recent work on Maneage, minor conflicts fixed
A few minor conflicts occurred and were fixed.
Diffstat (limited to 'reproduce/software/make/README.md')
-rw-r--r-- | reproduce/software/make/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/software/make/README.md b/reproduce/software/make/README.md index fc04dfb..d71a3d5 100644 --- a/reproduce/software/make/README.md +++ b/reproduce/software/make/README.md @@ -2,7 +2,7 @@ Software building instructions ============================== This directory contains Makefiles that are called by the high-level -`reproduce/software/bash/configure.sh` script. The main target for the +`reproduce/software/shell/configure.sh` script. The main target for the installation of each software is a simple plain text file that contains the name of the software and its version (which is put in the paper in the end). Once built, these plain-text files are all put in the proper |