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 /src/console/Makefile.inc | |
| 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 'src/console/Makefile.inc')
0 files changed, 0 insertions, 0 deletions