From b9add01697676f876d9c931601f3356306425f4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marc=20Andr=C3=A9=20Tanner?= Date: Tue, 10 Nov 2015 21:29:12 +0100 Subject: build: do not clutter dependency/install with manual pages --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 0a758a8..063727b 100644 --- a/Makefile +++ b/Makefile @@ -150,7 +150,7 @@ dependency/sources/build-libtermkey: dependency/sources/extract-libtermkey touch $@ dependency/sources/install-libtermkey: dependency/sources/build-libtermkey - make -C $(dir $<)/$(LIBTERMKEY) PREFIX=$(DEPS_PREFIX) install + make -C $(dir $<)/$(LIBTERMKEY) PREFIX=$(DEPS_PREFIX) install-inc install-lib touch $@ dependency/sources/lua-%: | dependency/sources -- cgit v1.2.3