2016-11-06 17:53, Thomas Monjalon:
> 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 at 6wind.com>Applied
