install: Do not fail, if “make doc” wasn't run

Signed-off-by: Frank Terbeck <ft@bewatermyfriend.org>