diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@no-log.org> | 2015-11-11 05:54:55 +0100 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2015-11-17 05:18:28 +0100 |
| commit | 46f7b0494f67d4784f633b5e8449fd6ae9f96483 (patch) | |
| tree | 8008a6dec0fd481142bfd5ef5dea8b6dbbe73af0 /util/ifdtool/Makefile | |
| parent | 07648928ebe363be33f2a6b51b91a0c290f7951a (diff) | |
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>
Reviewed-on: http://review.coreboot.org/12406
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/ifdtool/Makefile')
| -rw-r--r-- | util/ifdtool/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/util/ifdtool/Makefile b/util/ifdtool/Makefile index ccaef43e1c..7a1bcfac46 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 |