aboutsummaryrefslogtreecommitdiff
path: root/reproduce/analysis/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-28 03:18:52 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-28 03:23:34 +0100
commitc778a69df31901be9a7726c51a7ab784aa3414d8 (patch)
treec7ebaf07fcd12b8345426247f4936f0d802e90d8 /reproduce/analysis/make
parent4a53bd5ebd43414e5f21ac8cad6017f026921f56 (diff)
Better explanation at the end of the configuration
Until now, at the end of the configuration step, we would tell the user this: "To change the configuration later, please re-run './project configure', DO NOT manually edit the relevant files". However, as Boud suggested in Bug #58243, this is against our principle to encourage users to modify Maneage. With this commit, that explanation has been expanded by a few sentences to tell the users what to change and warn them in case they decide to change the build-directory.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions