diff options
author | Jonas Bernoulli <jonas@sequoia-pgp.org> | 2021-04-16 15:52:20 +0200 |
---|---|---|
committer | Jonas Bernoulli <jonas@sequoia-pgp.org> | 2021-04-22 16:25:36 +0200 |
commit | 58025f5a0390c137fe972d2940c4bea1941ab055 (patch) | |
tree | 432f8521d351fdc80a3db3ac2073f6e9c8ebcbc4 /.gitignore | |
parent | 633f4475531a2fe5b1dd42c1ab6560470e4a0943 (diff) |
make: Hide Makefile to avoid confusion.
- Those make targets that are useful to users are just wrappers
around the respective cargo commands, which means that they are
not really necessary. The additional targets are primarily of
use to Sequoia developers, which also means that they are not
very useful to users.
- That did not keep us from prominently advertising the use of
make as a recommended installation mechanism, and that in turn
contributed to some false expectations and confusion.
- For example, a packager used the Makefile because they thought
that that is what we would like them to do. Some users found it
surprising that "sudo make install" ended up running the target
"build-release" even though they had already build using "build".
- People who want to keep using make without every time having to
specify the name of the hidden Makefile can do so by creating a
symbolic link.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -3,3 +3,4 @@ *~ .gdb_history .dir-locals.el +Makefile |