aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 12:53:53 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 12:53:53 +0000
commitbd1e95c45668aedb39e70d1aae90a9bb86534506 (patch)
tree04bbe2cf3b97d2c7b2fac582eb3380b2ec0f2c30 /reproduce/src/make/Top-Makefile
parent311572e0c1375429de998d70eb7d587d7b8032c4 (diff)
Using .local instead of ./.local in READMEs
Until now, in the instructions, we were suggesting to run `./.local/bin/make', but the `./' part is extra: this is already a directory and so the shell will be able to find it. So to make things more clear and easy to read/write, we removed the `./' part from the calls to our custom Make installation.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions