Denis Carikli (GNUtoo@no-log.org) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/12406
-gerrit
commit 83b7774e2cc844e0dd04b608fb231b2911732471 Author: Denis 'GNUtoo' Carikli GNUtoo@no-log.org Date: Wed Nov 11 05:54:55 2015 +0100
ifdtool: Makefile: fix install target
ifdtool doesn't have a manual yet, so don't install an unexisting manual file.
Change-Id: I290435de7de7177d803cf6cde4f4f42955cbcf5c Signed-off-by: Denis 'GNUtoo' Carikli GNUtoo@no-log.org --- util/ifdtool/Makefile | 2 -- 1 file changed, 2 deletions(-)
diff --git a/util/ifdtool/Makefile b/util/ifdtool/Makefile index ccaef43..7a1bcfa 100644 --- a/util/ifdtool/Makefile +++ b/util/ifdtool/Makefile @@ -40,8 +40,6 @@ dep: install: $(PROGRAM) mkdir -p $(DESTDIR)$(PREFIX)/bin $(INSTALL) $(PROGRAM) $(DESTDIR)$(PREFIX)/bin - mkdir -p $(DESTDIR)$(PREFIX)/share/man/man8 - $(INSTALL) $(PROGRAM).8 $(DESTDIR)$(PREFIX)/share/man/man8
.PHONY: all clean distclean dep