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

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

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

-gerrit