diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-17 18:44:58 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-17 18:44:58 +0000 |
commit | 5781173d071314104ed2e3651b1222b385b0d798 (patch) | |
tree | da4e6e5104641e40f4b54e8aa1258cb950e09f66 /reproduce/analysis/make/paper.mk | |
parent | 0c120cbc1575675f96a99703af28a45d8adda2db (diff) |
README-hacking.md: script to list installed programs before configure
Until now, the small one-line script that lists programs was introduced in
the checklist after running `./project configure'. But people would mostly
miss it because they would wait until the configuration is complete.
With this commit, that point has been put above the `./project configure'
step. Readers are instructed to open a new terminal and run that script,
then go to the next step so they see the directories get filled
actively. It will also help them understand what is going on.
Diffstat (limited to 'reproduce/analysis/make/paper.mk')
0 files changed, 0 insertions, 0 deletions