From 64b4fe2c720e58243e93e2a51f3023c66d4a6488 Mon Sep 17 00:00:00 2001 From: Richard Grenville Date: Sun, 25 Jan 2015 10:46:22 +0800 Subject: [PATCH] Misc #262: Allow `make install` w/o docs Allow `make install` w/o documentations, as `make MANPAGES= install`. (#262) --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 59edb43..e66f322 100644 --- a/Makefile +++ b/Makefile @@ -152,7 +152,9 @@ docs: $(MANPAGES) $(MANPAGES_HTML) install: $(BINS) docs @install -d "$(DESTDIR)$(BINDIR)" "$(DESTDIR)$(MANDIR)" "$(DESTDIR)$(APPDIR)" @install -m755 $(BINS) "$(DESTDIR)$(BINDIR)"/ +ifneq "$(MANPAGES)" "" @install -m644 $(MANPAGES) "$(DESTDIR)$(MANDIR)"/ +endif @install -m644 compton.desktop "$(DESTDIR)$(APPDIR)"/ ifneq "$(DOCDIR)" "" @install -d "$(DESTDIR)$(DOCDIR)"