diff options
| author | Rasmus Dahlberg <rasmus@rgdd.se> | 2024-05-17 08:39:02 +0200 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus@rgdd.se> | 2024-05-17 08:52:52 +0200 |
| commit | 7485ef7ea76107953ceb0f7dff3d3dd90803c2d0 (patch) | |
| tree | 73fdba30e1fffdd9e6165a243cb47a5e04f07282 /Makefile | |
| parent | aba0f17953c9947bb51e78ed581f4e66b7012518 (diff) | |
Don't encourage building with root privileges
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -29,7 +29,10 @@ man-%: build --include=docs/help2man/reporting-bugs.help2man \ -o build/$*.1 build/$* -install: all +# Let this fail if the user did not run make yet (because the build never +# requires sudo, whereas this part may require it depending on location). +.PHONY: install +install: @mkdir -p $(DESTDIR)$(BINDIR) @mkdir -p $(DESTDIR)$(MANDIR)/man1 install -m 755 $(patsubst %,build/%,$(PROGRAMS)) $(DESTDIR)$(BINDIR) |