aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-28 21:46:18 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-09-28 21:53:16 +0100
commit621289494d23d3ac0b383d63371205cb826ccb8c (patch)
tree5deb7104d4d09425b489375222582af37286ee62 /.gitignore
parente22df1a2832702165f6b411a182c5bad8dc8c9fe (diff)
Main project script sets executable flags at configure time
Until now, when the project's source was downloaded from something like arXiv, in `README.md', we were instructing them to set the executable flags of all the files that need it. But except for `./project', the reader shouldn't have to worry about the project internals! Once its executable, `./project' can easily fix the executable flags of all the files that need it automatically. With this commit, in `README.md', we just instruct the reader to set the executable flag of `./project' and any other file that needs an executable flag is given one at the start of the set of commands for `./project configure'. In customized projects, if an author needs executable flags on any other files, they can easily add it there without involving the user.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions