mk: fix install-doc without html
authorThomas Monjalon <thomas.monjalon@6wind.com>
Sun, 6 Nov 2016 16:42:12 +0000 (17:42 +0100)
committerThomas Monjalon <thomas.monjalon@6wind.com>
Sun, 6 Nov 2016 19:53:23 +0000 (20:53 +0100)
commitf0e64da62c9dc8eb17a0c970ef241cf4941f9749
treed1020d4b57393843efaa1819c5c81fdf9a7d1f6c
parentca9b8b960bea38b256ebbfe555b024df0835744d
mk: fix install-doc without html

When trying to install PDF, man pages or examples without having built
neither HTML API nor HTML guides, there was an error:

% make install-doc
tar: html: Cannot stat: No such file or directory

The fix is to check the html directory before installing HTML files.

Fixes: e4552b9cc603 ("mk: install doc")

Signed-off-by: Thomas Monjalon <thomas.monjalon@6wind.com>
mk/rte.sdkinstall.mk