diff options
| -rw-r--r-- | .gitlab-ci.yml | 1 | ||||
| -rw-r--r-- | Makefile | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 96f63e8..acea3ec 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,6 +22,7 @@ install: - apt update - apt install make help2man script: + - make - make DESTDIR=out PREFIX= install - make DESTDIR=out PREFIX= uninstall - make clean @@ -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) |