[coreboot-gerrit] Patch merged into coreboot/master: ifdtool: Makefile: fix install target

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 46f7b0494f67d4784f633b5e8449fd6ae9f96483
Author: Denis 'GNUtoo' Carikli <GNUtoo at 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 at no-log.org>
    Reviewed-on: http://review.coreboot.org/12406
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See http://review.coreboot.org/12406 for details.

-gerrit